Search: 
 
 
  GSRC Member Directory

Search for ...    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.

Papers
Group memberships
 
  
You are not logged in
©1998-2008 GSRC