Thomas A. Henzinger

Thomas A. Henzinger is President and Professor at the Institute of Science and Technology Austria (IST Austria), a position held since 2009. Previously, he served as professor at EPFL (2005-2009) and UC Berkeley (1996-2005), establishing himself as a leading figure in formal methods and system verification.

His educational background includes a PhD in Computer Science from Stanford University (1991), an MSc from the University of Colorado Boulder (1989), and a Diplom-Ingenieur from Johannes Kepler University Linz (1988).

Henzinger's research centers on formal methods for system design and verification. He develops theoretical frameworks and practical tools for analyzing concurrent, distributed, and cyber-physical systems. Key contributions span model checking, abstraction techniques, quantitative analysis, and real-time system verification, with applications in software engineering and biological modeling.

Recent publications (2015-2022) demonstrate sustained innovation in asynchronous programming, distributed algorithms, and robustness analysis. His work bridges theoretical foundations with practical verification challenges, particularly in sequentialization of asynchronous programs, Lipschitz robustness for timed systems, and worst-case execution time analysis.

Major scientific recognition includes:

• ACM Fellow (2001)
• IEEE Fellow (2001)
• Wittgenstein Award (2000)
• Royal Society Milner Award (2014)

Henzinger has supervised numerous PhD students at UC Berkeley and EPFL, with research funded by NSF, DARPA, and ERC grants including an Advanced Grant. His leadership extends to program committees of premier conferences like PLDI and POPL.

As IST Austria President, he drives strategic initiatives for interdisciplinary research while maintaining active contributions to computer science through publications and community engagement.