Thomas Henzinger

Institute of Science and Technology Austria (IST)

G2R World Ranking 125th

G2R Austria Ranking 1st

H-Index & Metrics

Google H-index 110
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.
Profile was last updated at December 23, 2020, 10:00 pm
Guide2Research Ranking is based on Google Scholar H-Index.
Report Missing or Incorrect Information