VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Swarat Chaudhuri

Not registered as user yet

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

Personal website: http://www.cs.rice.edu/~sc40/

Contributions

Off the Beaten Track 2016Author of Chanakya: Computer-Aided Strategic Reasoning within the Off the Beaten Track-track
General Chair in Organizing Committee within the Off the Beaten Track-track
VMCAIAuthor of Abstract Interpretation with Infinitesimals within the VMCAI-track
Show activities from other conferences

POPL 2016-profile
View general profile