My research aims to build dependable systems through domain-specific analysis techniques. My teaching focuses on instilling cost-effective software development principles.

I am the recipient of an NSF Career Award, an IBM Innovation Award, a Google Faculty Research Award, an FSE Test of Time Award, and 5 ACM SigSoft Distinguished Paper Awards (FSE2006, ICSE2008, ICSE2012, ISSTA2013, ICSE2016), mostly for empirically studying program analysis and software testing challenges, and developing automated techniques for addressing them. My current development and analysis work is focused on robotic systems.

2021年当选IEEE Fellow