Faculty Interests

Algorithms

Algorithmic Randomness

Algorithms and Lower Bounds

Applied Cryptography

Combinatorial Algorithms

Discrete Algorithms

Geometry

Artificial Intelligence

Data Mining

Information Integration and Information Retrieval

Logic-Based Knowledge Representation

Machine Learning

Natural Language Processing and Medical Signal/Image Processing

Probabilistic Models

Robotics

Bioinformatics and Computational Biology

Computational Structural Biology

Phylogenetics

Human Computer Interaction and Graphics

Graphics Architecture

Multimedia Systems

Successful Aging

Programming Systems

Concurrency

Formal Methods

Model Checking and Verification

Program Analysis

Programming Languages

Software Engineering

Software Engineering Technologies

Software Systems

Software Testing

Systems and Networking

Parallel Processing

Wireless Networks

Theory

Molecular Programming

Self-Assembly

Theoretical Computer Science

Theory of Distributed Computing