main photo of Thomas A. Henzinger

Thomas A. Henzinger

Former Adjunct Professor


Thomas A. Henzinger currently serves as the first president of the Institute of Science and Technology Austria, a position he has held since 2009. He was previously Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland from 2004 to 2009, and a former 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.

He left his adjunct professor position at UC Berkeley in 2011.

Selected Publications

  • S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, July 2011.
  • 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.