Faculty

Allan Borodin
Complexity Theory,
Online Algorithms,
Game Theory

Stephen Cook
Complexity Theory,
Logic

Derek Corneil
Graph Theory

Faith Ellen
Distributed Complexity,
Data Structures,
Lower Bounds

Vassos Hadzilacos
Distributed Computing

Michael Molloy
Graph Theory,
Combinatorics

Aleksandar Nikolov
Algorithms,
Discrepancy Theory,
Privacy

Toniann Pitassi
Complexity Theory,
Proof Complexity

Charles Rackoff
Cryptography,
Complexity Theory

Benjamin Rossman
Circuit Complexity,
Logic

Sushant Sachdeva
Algorithms,
Optimization,
Learning

Nisarg Shah
Mechanism Design,
Game Theory

Sam Toueg
Distributed Computing

Alasdair Urquhart
Complexity of Proofs,
Logic,
History of Logic

Henry Yuen
Quantum Computing,
Quantum Cryptography,
Complexity Theory


Administrative staff

Visitors

  • Joan Faye Boyar
  • Joseph Halpern
  • Bruce Kapron
  • Valerie King
  • Kim Skak Larsen

Postdocs

Students