PeopleofSuperintelligence

Researcher

Swarat Chaudhuri

Swarat Chaudhuri is a professor of computer science at UT Austin, where his work lies in the intersection of formal methods and artificial intelligence. At Google DeepMind he is a senior staff research scientist, and the credits for AlphaEvolve, DeepMind's AI system for algorithm discovery, name him among its developers. He earned a bachelor's degree from IIT Kharagpur in 2001 and a doctorate from the University of Pennsylvania in 2007. He served as a program chair for CAV 2016, and he joined UT Austin in 2020 after faculty posts at Penn State and Rice. In 2025 he became a Guggenheim Fellow, and his lab's Copra agent asks a large language model to predict the next step in a mathematical proof.

Works
202
Citations
4,942
h-index
33

Publication numbers from OpenAlex, as of 15 October 2026.

Timeline

  1. 2001–2007

    Degrees from IIT Kharagpur and Penn

    He earns a bachelor's degree from IIT Kharagpur in 2001 and a doctorate from the University of Pennsylvania in 2007.

  2. 2016

    Program chair for CAV 2016

    He serves as a program chair for CAV 2016, and he has served on the program committees of all the main conferences in machine learning, formal methods, and programming languages.

  3. 2020

    Joining UT Austin

    He joins UT Austin in 2020 after faculty posts at Penn State and Rice. His work lies in the intersection of formal methods and artificial intelligence.

  4. 2025

    A 2025 Guggenheim Fellowship

    He is a 2025 Guggenheim Fellow, and his lab's Copra agent asks a large language model to predict the next step in a mathematical proof.

  5. May 2025

    Co-developing AlphaEvolve

    DeepMind publishes AlphaEvolve in May 2025 as part of its work on AI for algorithm discovery, and the credits name him among the developers.

  6. As of October 2026

    Senior staff research scientist

    He is a professor of computer science at UT Austin and a senior staff research scientist at Google DeepMind.

Sources and credits

Photo: We have no published photo of Swarat Chaudhuri yet. Send us a free-licensed photo.

  1. Swarat Chaudhuri: Biography cs.utexas.edu. Checked 15 October 2026.
  2. John Simon Guggenheim Foundation Names Computer Scientist a 2025 Fellow | UT Austin Computer Science cs.utexas.edu. Checked 15 October 2026.
  3. UT Experts : University Communications : The University of Texas at Austin experts.utexas.edu. Checked 15 October 2026.
  4. [2310.04353] An In-Context Learning Agent for Formal Theorem-Proving arxiv.org. Checked 15 October 2026.
  5. AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms — Google DeepMind deepmind.google. Checked 15 October 2026.