Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (IST Austria) since 2009, serving as its President from 2009 to 2022. He holds honorary doctorates from Fourier University and Masaryk University. His research focuses on formal methods for improving software reliability in concurrent and embedded systems, with contributions to quantitative verification, quantum computing, and algorithmic fairness. He leads the Henzinger Group , which addresses challenges in software correctness, safety-critical systems, and AI ethics. Education: PhD from Stanford University (1991), followed by postdoctoral work at Université Joseph Fourier (1991). Research Interests: Concurrent and embedded systems, formal methods, quantum algorithms, fairness in AI, and runtime verification. His team develops mathematical foundations and tools to ensure software robustness in complex systems. Recent Trends in Publications: Focus on advancing formal verification techniques for neural networks, quantum computing, and ethical AI. Key contributions include fairness shields for decision systems and middleware for third-party monitoring (VAMOS). Awards: Royal Society Fellow (2024), US National Academy of Sciences Member (2020), Wittgenstein Award (2012), and numerous test-of-time awards. Advising & Grants: Advised over 20 PhD students. Secured ERC Advanced Grants (VAMOS, QUAREM) and FWF grants (Wittgenstein Award). Labs/Teams: Leads the Henzinger Group , collaborating on projects like SPyCoDe (semantic security) and VAMOS (third-party monitoring middleware).







