Rice University logo
Top blue bar image
Post-Doctoral Researcher


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