Theory

Carnegie Mellon University has a strong and diverse group in Theory working across colleges and departments for deep research opportunities.

The goals of the Theory group are, broadly speaking, to provide a mathematical understanding of fundamental issues in Computer Science, and to use this understanding to produce better algorithms, protocols, and systems, as well as identify the inherent limitations of efficient computation. 

Our Theory group maintains strong ties to other areas, such as computer systems, programming languages, and artificial intelligence, and we welcome students who have a combination of theoretical and application-oriented research interests.

News

Gates Center viewed from the Pausch bridge on the CMU Pittsburgh Campus

CMU Tops U.S. News Graduate CS Rankings

Wednesday, April 8, 2026

Carnegie Mellon ranks first for overall graduate computer science programs, tied with Massachusetts Institute of Technology (MIT) and Stanford University. Among computer science programs, CMU also earned No. 1 rankings in Programming Language, Artificial Intelligence, and Systems, along with a No. 2 ranking in Theory (tied with University of California Berkeley).

Read More

Two women pose, one seated on a green ottoman, the other standing behind her.

Saxena, Saint Phalle Receive Stehlik Scholarship

Wednesday, March 18, 2026

Claire de Saint Phalle and Tanisha Saxena both developed their interest in computer science in after-school programs. They learned to build robots and program at early ages, and went on to nurture those interests throughout high school and all the way to Carnegie Mellon University. In May, they'll both cross the School of Computer Science (SCS) graduation stage as recipients of the Stehlik Scholarship. Read More

Faculty Researchers Working in this Area

Subscribe to Theory