Theory of Computation Laboratory
Faculty at the University of Michigan Computer Science & Engineering Division whose work is in combinatorial optimization, data structures, cryptography, quantum computation, parallel and distributed computation, algorithmic game theory, graph theory, geometry, and combinatorics.
Welcome to the Theory Lab
The Theory Group at the University of Michigan conducts research across many areas of theoretical computer science, such as combinatorial optimization, data structures, cryptography, quantum computation, parallel and distributed computation, algorithmic game theory, graph theory, geometry, and combinatorics. We investigate the value of tradeoffs among fundamental resources such as running time, storage space, randomness, communication, and energy, in both the classical and quantum senses.
Meet the people who make up the Theory Lab >
Prospective graduate students
Theory faculty and students work with others from the division, as well as faculty from Mathematics, Electrical and Computer Engineering, Industrial and Operations Engineering, Climate and Space Sciences and Engineering, and elsewhere in the University.
Visit our prospective student page on the CSE website >
Lattice cryptography: A new unbreakable code
Outstanding research recognized at Graduate Honors Competition
Five finalists from each CSE lab presented their work at the event’s final round.
Using negative probability for quantum solutions
Probabilities with a negative sign have been of great use in quantum physics.
Get to know: Paul Grubbs
His research at the intersection of cryptography and systems has already had broad impacts across the IT industry.