My research interests are in Software Engineering and Programming Languages, with a focus on improving software reliability through program analysis and systematic testing. Software bugs are expensive and inevitable as software is mostly written by humans or automatically synthesized via ML. My research focuses at developing practical methods to prevent, detect, and fix bugs and vulnerabilities in code. As part of my research, I develop tools to automate software testing and debugging activities. The tools I developed revealed many bugs and vulnerabilities in code.

Here is a sample of topics to illustrate what kinds of themes my team currently works on:

  • Runtime Verification 
  • Testing, Repair, and Synthesis of Configuration scripts (e.g., Puppet, Docker, Ansible, etc.)
  • Techniques to Reduce cost in Continuous Integration and Deployment (e.g., detection and prevention of flaky tests)
  • Automated Testing of Autonomous Driving Vehicles
Spring 2023 Office Hours: 4:30-5:30PM

Research Areas

  • Artificial Intelligence and Intelligent Agents
  • Cyber Security
  • Data Sciences and Analytics
  • Software Engineering and Programming Languages


PhD UIUC, 2007
MS UFPE, 2001
BA UFPE, 1996