Thomas A. Henzinger
Prof. Dipl.-Ing. DDr. h. c.

Thomas A. Henzinger

, PhD M.S.

Full Member of the Division of Mathematics and the Natural Sciences since 2011

  • Institute of Science and Technology Austria

Research Areas:

  • Computer Sciences

Profile:

CV/Website

Selected Memberships:

  • Deutsche Akademie der Naturforscher Leopoldina - Nationale Akademie der Wissenschaften
  • Academia Europaea
  • Institute of Electrical and Electronics Engineers

Selected Prizes:

  • Wittgenstein-Preis des Wissenschaftsfonds FWF
  • ERC Advanced Grant
  • ISI Highly Cited Researcher
  • ACM Fellow
  • Dr. h. c. Masaryk Universität Brno

Selected Publications:

  • Fisher, Jasmin; Henzinger, Thomas A. (2007) Executable cell biology. Nature biotechnology, Bd. 25, S. 1239-1249.
  • Henzinger, Thomas A.; Horowitz, Benjamin; Kirsch, Christoph M. (2003) Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, Bd. 91, S. 84-99.
  • Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire (2002) Lazy abstraction. In: ACM (Hrsg.), Proceedings of the Symposium on Principles of Programming Languages; Portland: ACM Press, S. 58-70.
  • Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna (2002) Alternating-time temporal logic. Journal of the ACM, Bd. 49, S. 672-713.
  • Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin (1998) What's decidable about hybrid automata?. Journal of Computer and System Sciences, Bd. 57, S. 94-124.