Thomas Henzinger

Henzinger was born in Austria. He received his bachelor's degree in computer science from Johannes Kepler University Linz, and his PhD from Stanford University in 1991, advised by Zohar Manna. He is married to Monika Henzinger and has three children. ==Career==

Henzinger was successively Assistant Professor of Computer Science at Cornell University (1992–95) and Assistant Professor (1996–97), Associate Professor (1997–98), Professor (1998–2004) and Adjunct Professor (till 2011) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. 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. Until 2022, he was president of the Institute of Science and Technology Austria (ISTA). provides a comprehensive list of his publications, and his academic lineage can be explored on the Mathematics Genealogy Project page. ==Other activities==

• European Research Council (ERC), Member of the Scientific Council (since 2023) ==Recognition==

Prof. Henzinger is a member of the US National Academy of Sciences, the American Academy of Arts and Sciences, Academia Europaea, the German Academy of Sciences (Leopoldina), and the Austrian Academy of Sciences. He is also a Fellow of the AAAS, the ACM, and the IEEE. He has received the 2015 Robin Milner Award of the Royal Society, according to h-index data. ==References==