Theory Group

Allan Borodin
Complexity Theory,
Online Algorithms,
Game Theory

Faith Ellen
Distributed Complexity,
Data Structures,
Lower Bounds

Vassos Hadzilacos
Distributed Computing

Swastik Kopparty
Complexity Theory,
Error-Correcting Codes, Pseudorandomness

Kuldeep Meel
Automated Reasoning,
Formal Methods,
Databases

Michael Molloy
Graph Theory,
Combinatorics

Aleksandar Nikolov
Algorithms,
Discrepancy Theory,
Privacy

Toniann Pitassi
Complexity Theory,
Proof Complexity
(On leave)

Sushant Sachdeva
Algorithms,
Optimization,
Learning

Shubhangi Saraf
Complexity Theory,
Algebraic Computation

Nisarg Shah
Fairness, Social Choice,
Game Theory,
Mechanism Design

Akshayaram Srinivasan
Cryptography

Roei Tell
Complexity Theory,
Pseudorandomness,
and Derandomization

Sam Toueg
Distributed Computing

Nathan Wiebe
Quantum Algorithms,
Quantum Machine Learning

Stephen Cook
Complexity Theory,
Logic

Derek Corneil
Graph Theory

Charles Rackoff
Cryptography,
Complexity Theory

Alasdair Urquhart
Complexity of Proofs,
Logic,
History of Logic