The Theory Group at the University of Michigan conducts research, using the emphasis on mathematical technique and rigor typical of theoretical computer science, across many areas such as combinatorial optimization, data structures, cryptography, quantum computation, parallel and distributed computation, algorithmic game theory, graph theory, geometry, combinatorics, and energy efficiency. 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.
Theory faculty and students work with others from the division, as well as faculty from Mathematics, Electrical and Computer Engineering, Industrial and Operations Engineering, Atmospheric, Oceanic, and Space Science, and elsewhere in the University.
CSE Faculty
Satinder Baveja
WebsiteReinforcement Learning, Machine Learning, Computational Game Theory, Adaptive Human Computer Interaction.Greg Bodwin
WebsiteMentoring PlanGraph algorithms, data structures, sketching, game theory, and combinatorics.Mahdi Cheraghchi
WebsiteMentoring PlanAll theoretical aspects of CS, especially the role of information and coding theory in cryptography, complexity, algorithms, and high-dimensional geometry.Michał Dereziński
WebsiteMentoring PlanMachine learning and statistical learning theory, scalable stochastic and distributed optimization, randomized numerical linear algebra, dimensionality reduction.Benjamin Fish
WebsiteMentoring PlanFoundations of algorithmic fairness, ethics and justice in machine learning, theory of machine learning, learning with social context.Paul Grubbs
WebsiteMentoring PlanApplied cryptography, computer security, privacy, systems security, and technology policy.Yuri Gurevich
WebsiteQuantum computing, privacy and security, software engineering, and theoretical computer scienceWei Hu
WebsiteMentoring PlanTheoretical foundations of machine learning, including deep learning, representation learning, and optimization.Euiwoong Lee
WebsiteMentoring PlanAlgorithms, computational complexity, graph theory, and convex optimization. A particular focus is on approximation algorithms for NP-hard optimization problems.Max New
WebsiteMentoring PlanDeveloping and using mathematical tools to ensure correctness, safety and security of programming languages and their implementations.Chris Peikert 
WebsiteMentoring PlanCryptography, lattices, coding theory, algorithms, and computational complexity. A particular focus is on cryptographic schemes whose security can be based on the apparent intractability of lattice problems.Seth Pettie
WebsiteMentoring PlanOptimization algorithms, data structures, parallel and distributed computing, graph theory, and combinatorics.Thatchaphol Saranurak
WebsiteMentoring PlanEfficient graph algorithms and data structures, essentially for dynamic and distributed models.Quentin Stout
WebsiteMentoring PlanParallel computing, algorithms, supercomputing applied to problems in science and engineering, optimizing clinical trialsNicole Wein
WebsiteMentoring PlanAlgorithms, data structures, graph theory, dynamic/online/distributed models, fine-grained complexity.Ke Wu
WebsiteMentoring PlanCryptography and game theory, as well as related areas in theoretical Computer Science, especially how they can be combined and applied to design better decentralized applications.ECE Faculty
Parag Deotare
WebsiteResearch includes light-matter interaction in nanoscale systems and the development of low energy photonic and excitonic devices for applications in data communication and life sciences.Mack Kira
WebsiteQuantum optoelectronics, semiconductor quantum optics, quantum optics, condensed-matter theory, terahertz spectroscopy, many-body interactions, photon correlations, coherent and ultrafast phenomena, and cluster-expansion approach.Courtesy and Affiliated Faculty
MENU 
