Thomas Henzinger
Thomas Henzinger | |
---|---|
Institute of Science and Technology , Austria |
Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria.
Early life and education
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,[1] advised by Zohar Manna. He is married to Monika Henzinger and has three children.
Career
Henzinger was successively Assistant Professor of Computer Science at
Institute of Science and Technology Austria (ISTA).[1]
His research is concerned with modern systems theory, particularly on the models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first
model checker for mixed discrete-continuous systems.[3]
He is a member of
Academy of Sciences Leopoldina, Austrian Academy of Sciences, Academia Europaea, and Institute of Electrical and Electronics Engineers
.
Other activities
- European Research Council (ERC), Member of the Scientific Council (since 2023)[4]
Recognition
Henzinger was awarded the 2015
ISI Highly Cited Researcher in 2001. He is ranked as the number one cited researcher in Austria[5] according to h-index data.[6]
References
- ^ .
- ^ "Thomas A. Henzinger, Adjunct Professor, EECS, University of California Berkeley, USA".
- ^ a b c "Royal Society Milner Award". Royal Society. Retrieved 19 November 2015.
- ^ Commission appoints distinguished scientists and scholars as members of the European Research Council’s governing body European Commission, Directorate-General for Research and Innovation, press release of 7 December 2022.
- ^ "Thomas Henzinger profile". Guide 2 Research. Retrieved 13 September 2018.
- ^ Thomas Henzinger publications indexed by Google Scholar
External links
- Archive of the page at EPFL
- Home Page at the Berkeley EECS Department
- Page at ISTA
- Page at the Austrian Academy of Sciences
- Thomas Henzinger at the Mathematics Genealogy Project