Draft:Swarat Chaudhuri
Submission declined on 5 July 2026 by ChrysGalley (talk). Can you kindly have a look at your Talk page and see whether the provisions of WP:COI apply here please.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
|  |
Swarat Chaudhuri | |
|---|---|
| Born | 1979 (age 46–47) |
| Alma mater | |
| Known for | Neurosymbolic programming, AI for automated reasoning, AlphaProof Nexus |
| Awards |
|
| Scientific career | |
| Fields | Computer science, programming languages, formal methods, machine learning |
| Institutions | |
Swarat Chaudhuri (born 1979) is an Indian-American computer scientist. He is a Professor of Computer Science at the University of Texas at Austin and a Research Scientist at Google DeepMind. Chaudhuri's research lies at the intersection of programming languages, formal methods, and machine learning, with a focus on AI-aided program synthesis and theorem proving.[1] He was elected a Fellow of the Association for Computing Machinery in 2025 for developing tools for reliable systems that connect formal methods with machine learning,[2] and in the same year received a Guggenheim Fellowship for work on AI systems for open-ended mathematical discovery.[3]
Education
[edit]Chaudhuri received a bachelor's degree in computer science from the Indian Institute of Technology Kharagpur in 2001. He subsequently attended the University of Pennsylvania, where he earned a PhD in computer science in 2007.[1] His doctoral work on "Logics and Algorithms for Software Model Checking" received the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award.[4]
Career and research
[edit]Chaudhuri has held faculty positions at Pennsylvania State University and Rice University. Currently, he is a professor of computer science at the University of Texas at Austin and also holds a Research Scientist position at Google DeepMind.
Chaudhuri's research combines formal reasoning with machine learning. His early work spanned software model checking, program analysis, and symbolic program synthesis. Subsequently, he worked on neurosymbolic AI, advocating the use of neurosymbolic programs as machine learning models[5] and developing multiple methods for neurally directed program synthesis. He has also applied these ideas to mathematics: his group released PutnamBench, a benchmark of formalized competition problems,[6] and at Google DeepMind he led the development of AlphaProof Nexus, a system for AI-driven formal proof search that produced machine-verified Lean proofs for nine previously open Erdős problems.[7]
Chaudhuri was a co-principal investigator of Understanding the World Through Code, an NSF Expeditions in Computing project on neurosymbolic programming.[8] He has served as program chair for the International Conference on Computer-Aided Verification (CAV) in 2016 and the International Conference on Learning Representations (ICLR) in 2024.[1]
Awards and honors
[edit]- NSF CAREER Award[9]
- ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award[4]
- Guggenheim Fellowship (2025)[3][10]
- ACM Fellow (2025)[2]
References
[edit]- ^ a b c "Swarat Chaudhuri: Biography". UT Austin Computer Science. Retrieved 18 June 2026.
- ^ a b "2025 ACM Fellows' Excellence and Impact Recognized by World's Preeminent Computing Society". Association for Computing Machinery. 21 January 2026. Retrieved 18 June 2026.
- ^ a b "Guggenheim Foundation Names 3 at UT in 100th Class of Fellows". UT News. 16 April 2025. Retrieved 18 June 2026.
- ^ a b "ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award". SIGPLAN. Retrieved 5 July 2026.
- ^ Chaudhuri, Swarat; Sun, Jennifer J.; Solar-Lezama, Armando (2022). "Neurosymbolic Programming". NeurIPS 2022 Tutorials. Retrieved 5 July 2026.
- ^ Tsoukalas, George; et al. (2024). "PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition". arXiv:2407.11214 [cs.AI].
- ^ Tsoukalas, George; et al. (2026). "Advancing Mathematics Research with AI-Driven Formal Proof Search". arXiv:2605.22763 [cs.AI].
- ^ "Understanding the World Through Code". Neurosymbolic Programming. Retrieved 5 July 2026.
- ^ "CAREER: Robustness Analysis of Uncertain Programs: Theory, Algorithms, and Tools". National Science Foundation. Retrieved 5 July 2026.
- ^ "Four Indian American Scholars Win 2025 Guggenheim Fellowships for Breakthrough Work in AI, Astrophysics, Religion, and Science Journalism". Entrepreneur India. 19 April 2025. Retrieved 18 June 2026.
Category:1979 births
Category:Living people
Category:Indian computer scientists
Category:American computer scientists
Category:University of Texas at Austin faculty
Category:Indian Institute of Technology Kharagpur alumni
Category:University of Pennsylvania alumni
Category:Fellows of the Association for Computing Machinery