His main research interests are in Software Engineering: improving software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings). He has a lot of fun looking for software bugs. He published over 35 conference papers, including three that won the ACM SIGSOFT Distinguished Paper awards. He received an NSF CAREER award (2008), an Illinois CAS Beckman Fellowship (2010-2011), and an Illinois DCS C.W. Gear Outstanding Junior Faculty Award (2010). His work has been supported by IBM, Intel, Microsoft, NSF, and Samsung.