Prof. Dipl.-Ing. DDr. h. c.

Thomas A. Henzinger , PhD M.S.

Thomas A. Henzinger

Wirkliches Mitglied der mathematisch-naturwissenschaftlichen Klasse seit 2011

Forschungsbereiche:

  • Informatik

Zur Person:

CV/Website

Ausgewählte Mitgliedschaften:

  • Deutsche Akademie der Naturforscher Leopoldina - Nationale Akademie der Wissenschaften
  • Academia Europaea
  • National Academy of Sciences - USA
  • American Academy of Arts and Sciences

Ausgewählte Preise und Auszeichnungen:

  • Wittgenstein-Preis des Wissenschaftsfonds FWF
  • ERC Advanced Grant
  • ACM Fellow
  • Fellow des Institute of Electrical and Electronics Engineers
  • Fellow der American Association for the Advancement of Science

Ausgewählte Publikationen:

  • 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.
  • Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna (2002) Alternating-time temporal logic. Journal of the ACM, Bd. 49, S. 672-713.
  • 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.
  • 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.