Thomas A. Henzinger#


Thomas A. Henzinger
Membership Number:2367
Membership type:ORDINARY
Section:INFORMATICS
Elected:2006
Main Country of Residence:AUSTRIA
Homepage(s):http://www.ist.ac.at/~tah>http://www.ist.ac.at/~tah





Present and Previous Positions
  • 2009 President, IST Austria
  • 2004 Professor of Computer and Communication Sciences, EPFL
  • 1999 - 2000 Director, Max Planck Institute for Computer Science, Saarbruecken
  • 1998 Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
  • 1997 Associate Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
  • 1996 Assistant Professor of Electrical Engineering and Computer Sciences, University of California, Berkeley
  • 1992 Assistant Professor of Computer Science, Cornell University
  • 1991 PhD in Computer Science, Stanford University

Fields of Scholarship
  • Computer-aided verification
  • Model checking
  • Concurrency theory
  • Real-time systems
  • Embedded Software

Honours and Awards
  • ACM Fellow
  • IEEE Fellow
  • German Academy of Sciences (Leopoldina)
  • 2012 Wittgenstein Award
  • 2024 Foreign Member, Royal Society, UK


Imprint Privacy policy « This page (revision-13) was last changed on Wednesday, 22. May 2024, 11:04 by Kaiser Dana
  • operated by