Theory provides strong mathematical foundations for other core areas in computer science. Faculty in the Department of Computer Science specializing in theoretical computer science explore the fundamental questions surrounding computation and algorithms at an abstract level, and often implement their expertise to more applied areas of computer science.
Research in theory spans multiple areas, creating opportunities in design and analysis of algorithms to theory of computation. Focus areas include algorithms broadly, algorithmic game theory, combinatorial optimization, graph algorithms, computational geometry, computational complexity, and theory applied to networked systems.
- Design and Analysis of Algorithms
- Optimization and Approximation
- Algorithmic Game Theory
- Data Structures
- Network Algorithms
- Computational Geometry
- Theory of Computation
- Computational Complexity
- Formal Methods
- Automated Reasoning