He received his doctorate in Computer Science from the University of Freiburg, Germany (2009). Before joining NYU, he held post-doctoral positions at École Polytechnique Fédérale de Lausanne and at the Institute of Science and Technology Austria. His research focuses on formal methods, programming languages, and automated reasoning. He has received an NSF CAREER Award, a Microsoft European PhD Fellowship, and an OOPSLA Best Paper Award.