Simons Institute for the Theory of Computing
Image
Propose a Research Program
We invite your proposals (and pre-proposals) to organize a research program at the Simons Institute in 2026–27 and beyond. Submissions due June 30.
Image
Support Research on the Foundations of Computing
Upcoming Events
Workshops & Symposia
Program
Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation
Program
Sublinear Algorithms
Program
Summer Cluster on Quantum Computing
News
Greetings from Berkeley, where we’ve recently welcomed a merry band of cryptographers for what promises to be an outstanding summer program on cryptography. Building on the success of the Simons Institute’s 2015 summer crypto program, legendary for its influence on the field and participants’ careers, Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation promises to be even bigger and better.
We’re delighted to share that Miller fellow and Simons Institute Quantum Pod postdoc Ewin Tang has been awarded the...
This month, we held a joint workshop with SLMath on AI for Mathematics and Theoretical Computer Science. It was...
Current Programs
Organizers
Image
Image
Image
+3
Dan Boneh,
Elette Boyle
and 4 more
Organizers
Image
Image
Image
+2
Nikolas Breuckmann,
Sandy Irani
and 3 more
Research Pods
Researchers
Image
Image
Image
+4
Peter Bartlett,
Keaton Ellis
and 5 more
Researchers
Image
Image
Image
+11
Nikolas Breuckmann,
Anthony Chen
and 12 more
Researchers
Image
Image
Image
+1
Shafi Goldwasser,
Venkatesan Guruswami
and 2 more
Future Programs
SimonsTV
Safety of GenAI through the Lens of Security and Cryptography
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Talk by Giles Gardam (University of Bonn)
Sasha Rush | Polylogues
Other announcements
Healthy Community
We ask that visitors be vigilant in protecting the health of our community by staying home if they are feeling unwell and may have a communicable illness.
Based on public health regulations, the Simons Institute no longer requires masking or COVID-19 testing. For reference, see the CDC’s recommendations for reducing the spread of respiratory illnesses.
Participate
Applications are welcome for postdoctoral fellowships in the research pods on Quantum Computing and on Machine Learning, and are reviewed on a rolling basis.
Learn more about how to participate in the life of the Institute.
Related UC Berkeley Courses and Seminar Series, Spring 2025
Designing, Visualizing and Understanding Deep Neural Networks (CS 282A 001)
Anant Sahai
Monday/Wednesday, 2–3:30 p.m.
Soda 306
AI Meets Biology & Chemistry (CS 294 150)
Jennifer Listgarten
Monday, 2–5 p.m.
Berkeley Way West 1211
Physics Inspired Deep Learning (CS 294 254)
Aditi S Krishnapriyan
Tuesday/Thursday, 2–3:30 p.m.
Hearst Field Annex B1
AI in Education (CS 294 271)
Gireeja Vishnu Ranade
Narges Norouzi
Tuesday, 2–3:30 p.m.
Cory 521
Advanced Large Language Model Agents (CS 294 280)
Dawn Song
Monday, 4–6 p.m.
Anthro/Art Practice Bldg 160
Data Analysis and Machine Learning for Real-World Decision Making (STAT 214)
Bin Yu
Healthy Community
We ask that visitors be vigilant in protecting the health of our community by staying home if they are feeling unwell and may have a communicable illness.
Based on public health regulations, the Simons Institute no longer requires masking or COVID-19 testing. For reference, see the CDC’s recommendations for reducing the spread of respiratory illnesses.
Participate
Applications are welcome for postdoctoral fellowships in the research pods on Quantum Computing and on Machine Learning, and are reviewed on a rolling basis.
Learn more about how to participate in the life of the Institute.
Related UC Berkeley Courses and Seminar Series, Spring 2025
Designing, Visualizing and Understanding Deep Neural Networks (CS 282A 001)
Anant Sahai
Monday/Wednesday, 2–3:30 p.m.
Soda 306
AI Meets Biology & Chemistry (CS 294 150)
Jennifer Listgarten
Monday, 2–5 p.m.
Berkeley Way West 1211
Physics Inspired Deep Learning (CS 294 254)
Aditi S Krishnapriyan
Tuesday/Thursday, 2–3:30 p.m.
Hearst Field Annex B1
AI in Education (CS 294 271)
Gireeja Vishnu Ranade
Narges Norouzi
Tuesday, 2–3:30 p.m.
Cory 521
Advanced Large Language Model Agents (CS 294 280)
Dawn Song
Monday, 4–6 p.m.
Anthro/Art Practice Bldg 160
Data Analysis and Machine Learning for Real-World Decision Making (STAT 214)
Bin Yu