
Simons Institute for the Theory of Computing

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.

Welcome, Summer 2025 Visitors!
Check out our Visitor Guide for information to help you make the most of your stay.

Support Research on the Foundations of Computing
Upcoming Events
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...















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
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.
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.
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
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.
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.
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