ACM Doctoral Dissertation Award
Honorable Mention United States – 2009
CITATION

For his dissertation ,"Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems," nominated by the University of Oldenburg, Germany.