Swarat Chaudhuri

University of Texas at Austin

Names

Swarat Chaudhuri

Emails

****@rice.edu
,
****@cs.utexas.edu

Education & Career History

Full Professor
University of Texas at Austin (utexas.edu)
2023Present
 
Associate Professor
University of Texas, Austin (utexas.edu)
20202023
 
Associate Professor
Rice University (rice.edu)
20152019
 
Visiting Professor
Swiss Federal Institute of Technology (ethz.ch)
20172017
 
Assistant Professor
Rice University (rice.edu)
20112015
 
Assistant Professor
Pennsylvania State University (psu.edu)
20082011
 

Advisors, Relations & Conflicts

Coauthor
Yisong Yue
****@caltech.edu
2018Present
 
Coworker
Isil Dillig
****@gmail.com
2013Present
 
Coworker
Armando Solar-Lezama
****@csail.mit.edu
2009Present
 
Coauthor
Charles Sutton
****@google.com
20172023
 
Coauthor
Rishabh Singh
****@google.com
20172018
 
Coauthor
Pushmeet Kohli
****@google.com
20172018
 
Coauthor
Martin Vechev
****@inf.ethz.ch
20172017
 
PhD Advisor
Rajeev Alur
****@cis.upenn.edu
20012007
 

Expertise

Statistical relational learning
2019Present
 
Neurosymbolic programming
2018Present
 
AI safety
2017Present
 
Reinforcement learning
2016Present
 
Planning
2016Present
 
Probabilistic programming
2014Present
 
Program induction
2009Present
 
Automated reasoning
1999Present
 
Formal methods
1999Present