Thomas Henzinger was born in 1962. He is an Austrian computer scientist and researcher. He was the former president of the Institute of Science and Technology in Austria.

Early life and education

Henzinger was born in Austria. He earned his bachelor's degree in computer science from Johannes Kepler University Linz and his PhD from Stanford University in 1991, with guidance from Zohar Manna. He is married to Monika Henzinger and has three children.

Career

Henzinger held several academic positions over time. He was an Assistant Professor of Computer Science at Cornell University from 1992 to 1995. Later, he worked as an Assistant Professor at the University of California, Berkeley from 1996 to 1997, became an Associate Professor in 1997, and was promoted to Professor in 1998. He served in this role until 2004 and remained an Adjunct Professor at the university until 2011. In 1999, he directed the Max Planck Institute of Computer Science in Saarbrücken, Germany. From 2004 to 2009, he was a Professor of Computer and Communication Sciences at EPFL, the Swiss Federal Institute of Technology in Lausanne, Switzerland. He was the president of the Institute of Science and Technology Austria (ISTA) until 2022.

His research focuses on systems theory, especially the development of models, algorithms, and tools to design and verify reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for systems that combine both digital and continuous elements.

For more details about his work and academic achievements, his Google Scholar profile lists all his published works. Information about his academic background can also be found on the Mathematics Genealogy Project website.

Recognition

Professor Henzinger is a member of several prestigious organizations, including the US National Academy of Sciences, the American Academy of Arts and Sciences, Academia Europaea, the German Academy of Sciences (Leopoldina), and the Austrian Academy of Sciences. He was granted an honorary doctorate by Fourier University in Grenoble and by Masaryk University in Brno. He is also a Fellow of the AAAS, the ACM, and the IEEE. He has received the 2015 Robin Milner Award from the Royal Society, the EATCS Award from the European Association for Theoretical Computer Science, and the Wittgenstein Award from the Austrian Science Fund. He was named an ISI Highly Cited Researcher in 2001 and is listed as the most-cited researcher in Austria based on h-index data.