*banner
 
Margin Top
Margin Bottom
 

Chess Member Directory

...     in 

 

 
Tom Henzinger
    University of California, Berkeley

Username:tah
 
 
 
 
(To view user contact information, please log in.)
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.

Group memberships
 
You are not logged in 
©2002-2017 Chess