1378_chaudruhi_swarat-w_0.jpg

Swarat Chaudhuri

Formal Methods Artificial Intelligence (AI) Program Synthesis Automated Reasoning Software Verification
University of Texas at Austin Computer Science

About

Dr. Swarat Chaudhuri works in the intersection of formal methods and artificial intelligence (AI). He received his bachelor of technology in computer science from the Indian Institute of Technology Kharagpur. He completed a doctorate in philosophy in computer science at the University of Pennsylvania. Dr. Chaudhuri was previously a faculty member at Pennsylvania State University and Rice University, has taught a wide range of undergraduate and graduate courses on computer science, and has a long track record of federally funded research. His accolades include an NSF CAREER award, a Google Research Award, the ACM SIGPLAN John Reynolds Doctorate Dissertation Award, and multiple distinguished paper awards.

Research Performance Summary

140
Total Papers
9276
Total Citations
45
H-Index
2003-2025
Active Research Span

First Recorded Paper

Compression of partially ordered strings

Year: 2003

Citations: 13

Venue: International Conference on Concurrency Theory

Latest Recorded Paper

Self-Evolving Visual Concept Library using Vision-Language Critics

Year: 2025

Citations: 0

Venue: Proceedings of the Computer Vision and Pattern Recognition Conference, 13124

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2025
11
2024
21
2023
9
2022
11
2021
9
2020
4
2019
7
2018
9
2017
3
2016
4
2015
6

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 65
Journal 7
Book 4

Top Coauthors

Chaudhuri Jermaine Dillig

Research Impact by Period

2025-2026

Period Stats
Papers 11
Citations 262
Avg. Citations / Paper 23.8
H-Index 3

2020-2024

Period Stats
Papers 54
Citations 1476
Avg. Citations / Paper 27.3
H-Index 21

2015-2019

Period Stats
Papers 29
Citations 4310
Avg. Citations / Paper 148.6
H-Index 21

2010-2014

Period Stats
Papers 32
Citations 2707
Avg. Citations / Paper 84.6
H-Index 20

2005-2009

Period Stats
Papers 13
Citations 508
Avg. Citations / Paper 39.1
H-Index 9

2000-2004

Period Stats
Papers 1
Citations 13
Avg. Citations / Paper 13
H-Index 1

Contact and Professional Links

Contact Information

swarat@cs.utexas.edu

Detected Research Keywords

Shf Medium Collaborative Medium Collaborative Research Task Motion Planning Software Model Checking Recursive State Machines Formal Theorem Proving Motion Planning Framework Natural Language Deduction Languages Nested Trees Policy Synthesis Pomdps