Thomas Henzinger

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

Thomas Henzinger
Born
Austria
NationalityAustrian
Known fordesign and verification of software, hardware, and embedded systems
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

Life and career

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] He is married to Monika Henzinger and has three children.

He 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] He is currently the president of the Institute of Science and Technology, Austria.[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.

He was awarded the 2015 Milner Award by the Royal Society[3]. He received a Doctor honoris causa from the Masaryk University as well as the Wittgenstein Prize of the Austrian Science Fund. He is an ACM Fellow and an ISI Highly Cited Researcher. He is ranked as the number one cited researcher in Austria[4] according to H-index data [5].

gollark: ++remind 499y360d Stop overthrow of Andromedan governments.
gollark: ++remind 500y Stop overthrow of Andromedan governments.
gollark: ++remind 499y Conquer Andromeda more.
gollark: Close enough.
gollark: &sys execa ctx.send("No.")

References
  1. Kaplan, Karan (4 February 2009). "Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria". Nature. 457: 752. doi:10.1038/nj7230-752a.
  2. "Thomas A. Henzinger, Adjunct Professor, EECS, University of California Berkeley, USA".
  3. "Royal Society Milner Award". Royal Society. Retrieved 19 November 2015.
  4. "Thomas Henzinger profile". Guide 2 Research. Retrieved 13 September 2018.
  5. "Thomas Henzinger Google Scholar Profile".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.