Swarat Chaudhuri

Registered user since Tue 9 Apr 2019

Name:Swarat Chaudhuri
Bio:

Swarat Chaudhuri is an assistant professor of computer science at Rice University. He is an expert on methods for automated reasoning about systems, in particular abstract interpretation and model checking, and the application of such methods in computer-aided programming.

Swarat received a bachelor’s degree in computer science from the Indian Institute of Technology, Kharagpur, in 2001, and a doctoral degree in computer science from the University of Pennsylvania in 2007. From 2008-2011, he was an assistant professor at the Pennsylvania State University, University Park. He is a recipient of the National Science Foundation CAREER award, the ACM SIGPLAN Outstanding Doctoral Dissertation Award, and the Morris and Dorothy Rubinoff Dissertation Award from the University of Pennsylvania.

Affiliation:Rice University

Contributions

MAPL 2019 Committee Member in Program Committee within the MAPL 2019-track
Neural Query Expansion for Code Search
PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
Show activities from other conferences

PLDI 2019-profile
View general profile