Theoretical Foundations
Professor
Algorithms, Computational Theory and Complexity, Big Data Analytics
Assistant Professor
Dependable distributed systems, Information-flow security, Verification
Associate Professor
Theory of Distributed Computing, Algorithms and Lower Bounds
Professor
Model Checking and Verification, Probabilistic Models, Petri Nets
Professor
Discrete Algorithms, Computational Biology, Bioinformatics
Professor
Combinatorial Algorithms, Phylogenetics, Sensitivity Analysis
Assistant Professor
Molecular Programming, Information Theory, HCI and Computer Gaming
Assistant Professor
Networking, Optimization, and Machine Learning
Professor
Algorithms, Combinatorial Algorithms, Logic-Based Knowledge Representation