Margin Top
Margin Bottom


Tom Henzinger
    University of California, Berkeley

Home page:http://www.eecs.berkeley.edu/~tah
Bio:  Tom Henzinger is a Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, and a Ph.D. degree in Computer Science from Stanford University (1991). He was an Assistant Professor of Computer Science at Cornell University (1992-95), and a Director of the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999).

His research focuses on modern systems theory, especially formalisms and tools for the component-based and hierarchical design, implementation, and verification of embedded, real-time, and hybrid systems. His HyTech tool was the first model checker for mixed discrete-continuous systems.

©2002-2018 Chess