Thomas Henzinger

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University.

• Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic).

The group's research spans concurrent systems, embedded systems, quantitative model checking, runtime monitoring, and trustworthy AI. They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software.

Recent publications highlight trends in quantitative automata, fairness in AI, quantum algorithms, and automata theory, reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring).

Honors & Awards:

• 2024 Fellow of the Royal Society
• 2020 Member, US National Academy of Sciences
• 2015 Royal Society Milner Award
• 2012 Wittgenstein Award
• 2006 ACM and IEEE Fellow
• 1995 NSF CAREER and ONR Young Investigator Awards

Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE).

Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.