Theoretical Foundations
Professor
Algorithms, Computational Theory and Complexity, Big Data Analytics
Associate Professor & Associate Chair for Education
Theory of Distributed Computing, Algorithms and Lower Bounds
Professor
Model Checking and Verification, Probabilistic Models, Petri Nets
Professor
Computational Biology, Bioinformatics, Combinatorial Optimization
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Assistant Professor
Differential Privacy, Secure Federated Learning, Responsible AI
Professor, Dale D. Grosvenor Chair
Combinatorial Algorithms, Phylogenetics, Sensitivity Analysis
Graduate Faculty in Computer Science, Courtsey Associate Professor
Theory of Computation, Software Engineering