Thomas Henzinger was born on 1962 and is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria.
10 Facts About Thomas Henzinger
2.
Thomas Henzinger received his bachelor's degree in computer science from Johannes Kepler University Linz, and his PhD from Stanford University in 1991, advised by Zohar Manna.
3.
Thomas Henzinger is married to Monika Henzinger and has three children.
4.
Thomas Henzinger was director of the Max Planck Institute of Computer Science in Saarbrucken, Germany in 1999 and Professor of Computer and Communication Sciences at EPFL, Switzerland from 2004 to 2009.
5.
Thomas Henzinger's research is concerned with modern systems theory, particularly on the models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems.
6.
Thomas Henzinger is a member of Academy of Sciences Leopoldina, Austrian Academy of Sciences, Academia Europaea, and Institute of Electrical and Electronics Engineers.
7.
Thomas Henzinger was awarded the 2015 Milner Award by the Royal Society.
8.
Thomas Henzinger received a Doctor honoris causa from the Masaryk University as well as the Wittgenstein Prize of the Austrian Science Fund.
9.
Thomas Henzinger is an ACM Fellow and an ISI Highly Cited Researcher in 2001.
10.
Thomas Henzinger is ranked as the number one cited researcher in Austria according to h-index data.