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
Computational Biology, Bioinformatics, Combinatorial Optimization
Professor, Dale D. Grosvenor Chair
Combinatorial Algorithms, Phylogenetics, Sensitivity Analysis
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
