His PhD thesis was titled "Type-Theoretic Models of Concurrency" and was supervised by Robert Constable and mentored by Prakash Panangaden.
Beginning in June 2005, he moved to the University of Maryland, College Park and became a Professor of Computer Science.
From June 2005 to December 2014, he was executive and scientific director of the Fraunhofer USA Center for Experimental Software Engineering.
[5] Beginning November, 2022, he was the Associate Dean of Research in the College of Computer, Mathematical, and Natural Sciences.
Since 1995, he was a co-founder and a member of the steering committee of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).