Skip to content

Theory & Models of Computation

Our study of the theoretical foundations of computing spans algorithm design and analysis, complexity, optimization, cryptography, quantum and more.

We seek to answer fundamental and long-standing questions about the capabilities and limitations of our field, which has practical implications in economics, logistics, social welfare, transportation and many other real-world domains.


Faculty Members

Accessible Accordion

Areas of Expertise

Societal Impact

Results will appear in alphabetical order.

Adjunct Faculty

Faculty

Adjunct Faculty

Adjunct Faculty

Adjunct Faculty

Adjunct Faculty

Faculty

Faculty

Faculty

Adjunct Faculty

Faculty

Adjunct Faculty

Faculty

Faculty

Highlights


Allen School News

Deeds introduced partition constraints, a new approach for making conjunctive query executions more efficient. He presented the research at the 28th International Conference on Database Theory (ICDT), earning both the Best Student Paper and Best Paper Awards.

Simons Foundation

Tang, who earned her Ph.D. as a member of the Allen School’s Theory group, received the 2025 Maryam Mirzakhani New Frontiers Prize for her work on classical analogs of quantum algorithms for machine learning and linear algebra, and quantum machine learning on quantum data.

Allen School News

Oveis Gharan, a member of the Allen School’s Theory group, and Ph.D. alumnus Kuikui Liu, now a professor at MIT, are among a team of researchers that received this year’s Held Prize from the National Academy of Sciences for introducing a new method for counting the bases of matroids.

OSZAR »