Faculty Interests

Algorithmic Randomness

Algorithms and Lower Bounds

Applied Cryptography

Combinatorial Algorithms

Discrete Algorithms

Geometry

Analysis of Big Data Sets

Information Integration and Information Retrieval

Logic-Based Knowledge Representation

Machine Learning

Probabilistic Models

Robotics

Graphics Architecture

Multimedia Systems

Successful Aging

Formal Methods

Model Checking and Verification

Program Analysis

Software Engineering Technologies

Software Systems

Software Testing

Distributed Computing and Networks

Networks

Parallel Processing

Wireless Networks

Mathematical Statistics

Molecular Programming

Self-Assembly

Theoretical Computer Science

Theory of Distributed Computing