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-10) was last updated on Friday, 15. June 2012, 13:54 by Kaiser Dana
  • operated by