Faculty by Research Area

Theoretical Foundations

Chaudhuri
Associate Professor & Associate Chair for Education
Theory of Distributed Computing, Algorithms and Lower Bounds
Professor
Model Checking and Verification, Probabilistic Models, Petri Nets
Oliver Eulenstein
Professor
Computational Biology, Bioinformatics, Combinatorial Optimization
David Fernández-Baca photo
Professor, Dale D. Grosvenor Chair
Combinatorial Algorithms, Phylogenetics, Sensitivity Analysis
James Lathrop
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Jack Lutz
Professor
Theoretical Computer Science, Molecular Programming
Neil Lutz
Affiliate Assistant Professor
Computer Science
Andrew S Miner photo
Associate Professor
Model Checking and Verification, Petri Nets
Mohammady
Assistant Professor
Differential Privacy, Secure Federated Learning, Responsible AI

Pages