MSc in Computer Science and Engineering - Theory of Computation in Ann Arbor United States | University of Michigan Ann Arbor

The Theory Group at the University of Michigan focuses on research that applies mathematical precision and methodology, characteristic of theoretical computer science, to diverse fields including combinatorial optimization, data structures, cryptography, quantum computing, parallel and distributed systems, algorithmic game theory, graph theory, geometry, combinatorics, and energy-efficient computing. Our work explores fundamental resource tradeoffs—such as time complexity, memory usage, randomness, communication costs, and energy consumption—in both classical and quantum computing contexts. Faculty and students collaborate extensively within the division and with researchers from Mathematics, Electrical and Computer Engineering, Industrial and Operations Engineering, Atmospheric, Oceanic, and Space Sciences, as well as other university departments.