Theoretical Foundations

Pavan Aduri
Professor
Algorithms, Computational Theory and Complexity, Big Data Analytics
Borzoo Bonakbarpour
Assistant Professor
Dependable distributed systems, Information-flow security, Verification
Soma Chaudhuri
Associate Professor
Theory of Distributed Computing, Algorithms and Lower Bounds
Gianfranco Ciardo
Professor
Model Checking and Verification, Probabilistic Models, Petri Nets
Oliver Eulenstein
Professor
Discrete Algorithms, Computational Biology, Bioinformatics
David Fernández-Baca photo
Professor
Combinatorial Algorithms, Phylogenetics, Sensitivity Analysis
Jim Lathrop
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Assistant Professor
Networking, Optimization, and Machine Learning
Jack Lutz
Professor
Theoretical Computer Science, Molecular Programming
Andrew S Miner photo
Associate Professor
Model Checking and Verification, Petri Nets
Giora Slutzki photo
Professor
Algorithms, Combinatorial Algorithms, Logic-Based Knowledge Representation