Theoretical Foundations
Professor
Algorithms, Computational Theory and Complexity, Big Data Analytics
Associate Professor
Theory of Distributed Computing, Algorithms and Lower Bounds
Professor
Model Checking and Verification, Probabilistic Models, Petri Nets
Professor
Discrete Algorithms, Computational Biology, Bioinformatics
Professor, Dale D. Grosvenor Chair
Combinatorial Algorithms, Phylogenetics, Sensitivity Analysis
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Professor
Algorithms, Combinatorial Algorithms, Logic-Based Knowledge Representation