Theory Group on a hike at Potato Chip Rock
Theory Group at the EnCORE Collaboration Workshop
Daniel and Daniele performing during the CSE Holiday Skits
Ken and Russell at Ken's graduation!
Zach, Anthony, and Farzan at the CSE Holiday party
Nadia performing during the CSE Holiday Skits
Theory Group on a hike to Three Sisters Falls
Russell doing improv at the Wrestling with Complexity Workshop
Overview
The theory group does research in many different areas of theoretical computer science, such as algorithms, computational complexity, cryptography, coding theory, learning theory, graph theory, logic, and combinatorics. Many of our faculty are affiliated with other groups as well, such as the security group or the machine learning group. We also have strong connections with the mathematics department, Halicioglu Data Science Institute (HDSI), and EnCORE Institute.
Seminars
- Theory Seminar, Monday 2-3pm
- Theory Lunch, Friday 12-1pm
Events
- Coffee Hour, Monday 2:30-3:30pm
- Social Hour, Friday 3:30-4:30pm
News
- Michael Jaber (UT Austin), Yang P. Liu (CMU), Shachar Lovett, Anthony Ostuni, and Mehtaab Sawhney (Columbia) win Best Paper at FOCS 2025
- Daniel Grier and Jack Morris win Best Paper at CCC 2025
- Miro Haller wins 2024 Google Phd Fellowship
- Russell Impagliazzo elected to National Academy of Sciences
- Mikhail Belkin named ACM Fellow
- Daniele Micciancio and Oded Regev (NYU) win Test of Time Award at FOCS 2024
- Nadia Heninger named Amazon Research Award Recipient
- Fan Chung Graham elected to National Academy of Sciences
- Quanta magazine profiles Russell Impagliazzo
- Fan Chung Graham receives the Revelle Medal
- Nadia Heninger receives IACR Test of Time Award
- Barna Saha honored as Harry E. Gruber Endowed Chair