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

The Theory Group at the University of Michigan focuses on research that applies the mathematical precision and methodological rigor characteristic of theoretical computer science. Their work spans diverse fields including combinatorial optimization, data structures, cryptography, quantum computing, parallel and distributed systems, algorithmic game theory, graph theory, geometric algorithms, combinatorics, and energy-efficient computing. The group explores fundamental resource tradeoffs involving computation time, memory usage, randomness, communication complexity, and energy consumption, examining both classical and quantum computing paradigms. Faculty and students collaborate extensively within the division and across departments, partnering with researchers from Mathematics, Electrical and Computer Engineering, Industrial and Operations Engineering, Atmospheric and Space Sciences, and other university units.