Thomas HenzingerInstitute of Science and Technology Austria (IST)
G2R World Ranking 125th
G2R Austria Ranking 1st
H-Index & Metrics
|Number of Google Citations||54,875|
|Number of Articles on DBLP||489|
Awards & Achievements
- 2015 - The Royal Society Milner Award For fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.
- 2006 - ACM Fellow
- 2006 - IEEE Fellow For contributions to the verification of real-time and hybrid systems.