I am an Associate Professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin in the Center for Advanced Research in Software Engineering (ARiSE).

I was formerly a graduate student at the MIT Laboratory for Computer Science, where I co-led the MulSaw project. I defended my PhD thesis in December 2003. A PDF version of my dissertation is available here *.pdf.

My research interests include automated software engineering, in particular: software testing; static and dynamic checking of code conformance; repair of structurally complex data; model checking; formal specification languages; parallel and incremental algorithms for software analysis.

I am a recipient of the ACM SIGSOFT Impact Paper Award (2012), two ACM SIGSOFT Distinguished Paper Awards (ISSTA 2002 and ICSE 2010), a Best Research Paper Award (ASWEC 2009), and an NSF CAREER Award (2009).

My research is funded in part by the National Science Foundation (CAREER award CCF-0845628, and awards CCF-1319688, CNS-1239498, CNS-0958231, IIS-0438967, and CCF-0702680), the Air Force Office of Scientific Research, the Naval Undersea Warfare Center, and the Fujitsu Laboratories America, Inc.