Swarat Chaudhuri
Swarat Chaudhuri
University of Texas at Austin
Names
Emails
****@rice.edu
, ****@cs.utexas.edu
Personal Links
Education & Career History
Full Professor
University of Texas at Austin (utexas.edu)
2023 – Present
Associate Professor
University of Texas, Austin (utexas.edu)
2020 – 2023
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
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 – 2023
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
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