Theoretical Foundations

Pavan Aduri
Interim Department Chair, Professor
Algorithms, Computational Theory and Complexity, Big Data Analytics
Chaudhuri
Associate Professor, Associate Chair for Education
Theory of Distributed Computing, Algorithms and Lower Bounds
Professor, Chair of the Graduate Admissions Committee
Model Checking and Verification, Probabilistic Models, Petri Nets
Oliver Eulenstein
Professor
Computational Biology, Bioinformatics, Combinatorial Optimization
James Lathrop
Associate Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Jack Lutz
Professor
Theoretical Computer Science, Molecular Programming
Andrew S Miner photo
Associate Professor
Model Checking and Verification, Petri Nets
Assistant Professor
Differential Privacy, Secure Federated Learning, Responsible AI
David Fernández-Baca photo
Professor Emeritus
Retired
Neil Lutz
Affiliate Assistant Professor
Computer Science
Kristin-Yvonne Rozier
Graduate Faculty in Computer Science, Courtsey Associate Professor
Theory of Computation, Software Engineering