Swarat Chaudhuri
Swarat Chaudhuri
University of Texas, Austin
Names
How do you usually write your name as author of a paper? Also add any other names you have authored papers under.
Emails
Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.
****@rice.edu
, ****@cs.utexas.edu
Personal Links
Add links to your profiles on other sites. (Optional)
Education & Career History
Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.
Associate Professor
University of Texas, Austin (utexas.edu)
2020 – Present
Associate Professor
Rice University (rice.edu)
2015 – 2019
Visiting Professor
Swiss Federal Institute of Technology (ethz.ch)
2017 – 2017
Assistant Professor
Rice University (rice.edu)
2011 – 2015
Assistant Professor
Pennsylvania State University (psu.edu)
2008 – 2011
Advisors, Relations & Conflicts
Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.
Coauthor
Yisong Yue
****@caltech.edu
2018 – Present
Coworker
Isil Dillig
****@gmail.com
2013 – Present
Coworker
Armando Solar-Lezama
****@csail.mit.edu
2009 – Present
Coauthor
Charles Sutton
****@google.com
2017 – 2020
Coauthor
Rishabh Singh
****@google.com
2017 – 2018
Coauthor
Pushmeet Kohli
****@google.com
2017 – 2018
Coauthor
Martin Vechev
****@inf.ethz.ch
2017 – 2017
PhD Advisor
Rajeev Alur
****@cis.upenn.edu
2001 – 2007
Expertise
For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing
Statistical relational learning
2019 – Present
Neurosymbolic programming
2018 – Present
AI safety
2017 – Present
Reinforcement learning
2016 – Present
Planning
2016 – Present
Probabilistic programming
2014 – Present
Program induction
2009 – Present
Automated reasoning
1999 – Present
Formal methods
1999 – Present