Thomas A. Henzinger#
| Email: | thenzinger 'at' gmail.com |
| Membership Number: | 2367 |
| Main Country of Residence: | AUSTRIA |
| Section: | INFORMATICS |
| Username: | thenzinger |
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)
| operated by | 
|