Rice University logo
 
Top blue bar image
Post-Doctoral Researcher
 

Welcome!

I’m a Research Scientist at the Computer Science department in Rice University working with Prof. Swarat Chaudhuri.

My research interests are in bringing together formal methods and statistical machine learning to solve practical software engineering problems, such as:

  • Automated program synthesis
  • Automated error detection/debugging
  • Program verification
  • Testing
  • Program Analysis