He obtained PhD in Computer Science at MIT in 2004. He received BSc in Mathematics and Computer Science from Imperial College London and read Part III of the Mathematical Tripos at Trinity College Cambridge. His current research focuses on software testing, model checking, specification languages, code conformance, data structure repair, and parallel and incremental techniques for software analysis. He is a recipient of the ACM SIGSOFT Impact Paper Award for 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). He is an avid player and keen follower of squash (the racket sport, not the vegetable). + Google Calendar+ iCal Export