Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria.

He received his bachelor's degree in computer science from Johannes Kepler University Linz, and his PhD from Stanford University in 1991,[1] advised by Zohar Manna.

He was also director of the Max Planck Institute of Computer Science in Saarbrücken, Germany in 1999 and Professor of Computer and Communication Sciences at EPFL (the Swiss Federal Institute of Technology in Lausanne), Switzerland from 2004 to 2009.

His HyTech tool was the first model checker for mixed discrete-continuous systems.

[3] For more on his influential work and academic contributions, his Google Scholar profile[4] provides a comprehensive list of his publications, and his academic lineage can be explored on the Mathematics Genealogy Project page.