Thomas A. Henzinger#


Thomas A. Henzinger
Email:thenzinger 'at' gmail.com
Membership Number:2367
Membership type:ORDINARY
Main Country of Residence:AUSTRIA
Section:INFORMATICS
Username:thenzinger
Elected:2006
Homepage: 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


Imprint Privacy policy « This page (revision-11) was last updated on Wednesday, 17. January 2018, 11:05 by Kaiser Dana
  • operated by