André PlatzerCarnegie Mellon University
G2R World Ranking 4907th
G2R United States Ranking 2164th
H-Index & Metrics
|Number of Google Citations||5,945|
|Number of Articles on DBLP||145|
Awards & Achievements
- 2009 - ACM Doctoral Dissertation Award For his dissertation ,"Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems," nominated by the University of Oldenburg, Germany.