Thomas A. Henzinger

Adjunct Professor

Research Areas

• Control, Intelligent Systems, and Robotics (CIR)
• Design of Electronic Systems (DES)

Research Centers

• Center for Hybrid and Embedded Software Systems (CHESS)
• Donald O. Pederson Center for Electronics Systems Design (DOP)
• Gigascale Systems Research Center (GSRC)
• Team for Research in Ubiquitous Secure Technology (TRUST)

Biography

Thomas A. Henzinger is Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland, and Adjunct 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 Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2005) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbrücken, Germany (1999). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a Fellow of the ACM, and a Fellow of the IEEE.

Selected Publications

• T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A time-triggered language for embedded programming," Proc. IEEE, vol. 91, no. 1, pp. 84-99, Jan. 2003.
• T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy abstraction," ACM SIGPLAN Notices, vol. 37, no. 1, pp. 58-70, Jan. 2002.
• R. Alur and T. A. Henzinger, "Reactive modules," Formal Methods in System Design, vol. 15, no. 1, pp. 7-48, July 1999.
• T. A. Henzinger, P. Ho, and H. Wong-Toi, "HYTECH: A model checker for hybrid systems," Intl. J. Software Tools for Technology Transfer, vol. 1, no. 1-2, pp. 110-122, Dec. 1997.
• T. A. Henzinger, "The theory of hybrid automata," in Proc. 11th Annual IEEE Symp. on Logic in Computer Science, Los Alamitos, CA: IEEE Computer Society Press, 1996, pp. 278-292.