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
