Wikipedia

Thomas Henzinger

(Redirected from Thomas A. Henzinger)

Thomas Henzinger (born 1962) is an Austrian computer scientist, researcher, and former president of the Institute of Science and Technology, Austria.

Thomas Henzinger
Henzinger in 2016
Born1962 (age 61–62)
Austria
NationalityAustrian
Alma materJohannes Kepler University Linz
Stanford University
AwardsNAS Member (2020)
IEEE Fellow
Member, Academy of Sciences Leopoldina
Member, Austrian Academy of Sciences
Member, Academia Europaea
Scientific career
FieldsComputer science
InstitutionsInstitute of Science and Technology, Austria

Early life and education

edit

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

edit

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)[2] 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.[3] Until 2022, he was president of the 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]

For more on his influential work and academic contributions, his Google Scholar profile[4] provides a comprehensive list of his publications, and his academic lineage can be explored on the Mathematics Genealogy Project page.[5]

Other activities

edit

Recognition

edit

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.[7] He received a Doctor honoris causa from Fourier University in Grenoble and from Masaryk University in Brno.[7] 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,[3] the EATCS Award of the European Association for Theoretical Computer Science, and the Wittgenstein Award of the Austrian Science Fund. He was recognized as an ISI Highly Cited Researcher in 2001 and is ranked as the most-cited researcher in Austria[8] according to h-index data.[9]

References

edit
  1. ^ a b Kaplan, Karan (4 February 2009). "Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria". Nature. 457 (7230): 752. doi:10.1038/nj7230-752a.
  2. ^ "Thomas A. Henzinger, Adjunct Professor, EECS, University of California Berkeley, USA".
  3. ^ a b c "Royal Society Milner Award". Royal Society. Retrieved 19 November 2015.
  4. ^ "Thomas Henzinger". scholar.google.com. Retrieved 2024-10-25.
  5. ^ "Thomas Henzinger - The Mathematics Genealogy Project". www.genealogy.math.ndsu.nodak.edu. Retrieved 2024-10-25.
  6. ^ 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.
  7. ^ a b "Thomas A. Henzinger". etaps.org. Retrieved Oct 25, 2024.
  8. ^ "Thomas Henzinger profile". Guide 2 Research. Retrieved 13 September 2018.
  9. ^ Thomas Henzinger publications indexed by Google Scholar
edit


  

This article about an Austrian scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Thomas_Henzinger&oldid=1255623455"