|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