Tom Henzinger is professor at the Institute of Science and Technology Austria (ISTA), chair of the Austrian Council for Sciences, Technology, and Innovation (FORWIT), and member of the Scientific Council of the European Research Council (ERC). He holds a PhD from Stanford University (1991) and honorary doctorates from Fourier University in Grenoble and Masaryk University in Brno. He was Assistant Professor of Computer Science at Cornell University, Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, Director at the Max-Planck Institute for Computer Science in Saarbrucken, and Professor of Computer and Communication Sciences at EPFL. From 2009 until 2022, he was the founding president of ISTA.
His research focuses on the theory of software systems, especially models, algorithms, and tools for the design and verification of reliable software systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He received the Robin Milner Award of the Royal Society, the EATCS Award of the European Association for Theoretical Computer Science, and the Wittgenstein Award of the Austrian Science Fund.
Professional position
- Professor, Institute of Science and Technology Austria
Awards
Royal Society Milner Award
for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.
