After receiving his PhD from Brandeis University in 2009, he was named a CRA Computing Innovation Fellow from 2009-2011. His research concerns all aspects of program analysis and its applications to programming languages, software engineering, verification, and security. Currently his work is supported by the National Science Foundation (NSF) and the Defense Advanced Research Projects Agency (DARPA).