Faculty by Research Area

Theoretical Foundations

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
Theoretical Computer Science, Molecular Programming
Placeholder photo
Affiliate Assistant Professor
Computer Science
Andrew S Miner photo
Associate Professor
Model Checking and Verification, Petri Nets