Biography

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 in code. As part of my research, I develop tools to automate software testing and debugging activities. 

Fall 2024 Office Hours (8/19/2024 to 12/3/2024)
Office hours will not be held on University Holidays or when classes are not in session.  Office hours are subject to change due to other obligations.  Changes will be announced on class forums and updated in the class office hours calendar.

  • Tuesdays from 10:00 am ET to 11:00 am ET
  • Thursdays from 10:00 am ET to 11:00 am ET
All office hours are virtual.  Please email for the zoom link for office hours if you are not enrolled in a class I'm teaching.

Research Areas

  • Artificial Intelligence and Intelligent Agents
  • Software Engineering and Programming Languages

Education

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

CSC Spring Courses

  • CSC 495-006 LEC SP Top Comp Sci - Software Testing   TTh 4:30pm-5:45pm   Room: 2015 Engineering Building I