Thomas Henzinger

Biographie
Naissance	8 décembre 1962 ; Autriche ou Linz
Nationalité	autrichienne
Formation	Université Stanford; Université de Linz
Activités	Informaticien, professeur d'université, chercheur
Conjoint	Monika Henzinger
A travaillé pour	Université Cornell; École polytechnique fédérale de Lausanne; Université de Californie à Berkeley; Institute of Science and Technology Austria
Membre de	Academia Europaea (2006); Association for Computing Machinery (2007); Académie américaine des sciences (2020); Académie américaine des arts et des sciences; Académie Léopoldine
Directeur de thèse	Zohar Manna
Distinctions	Liste détaillée ACM Fellow (2006); Wittgenstein-Prize (2012); Doctorat honoris causa de l'université Grenoble-I (2012); Membre de l'AAAS (2013); Prix Milner (2015); Docteur honoris causa de l'université Masaryk (2015)

Thomas Henzinger (né le 8 décembre 1962) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.

Naissance	8 décembre 1962 (61 ans) Autriche ou Linz
Nationalité	autrichienne
Formation	Université Stanford Université de Linz
Activités	Informaticien, professeur d'université, chercheur
Conjoint	Monika Henzinger

A travaillé pour	Université Cornell École polytechnique fédérale de Lausanne Université de Californie à Berkeley Institute of Science and Technology Austria
Membre de	Academia Europaea (2006) Association for Computing Machinery (2007) Académie américaine des sciences (2020) Académie américaine des arts et des sciences Académie Léopoldine
Directeur de thèse	Zohar Manna
Distinctions	Liste détaillée ACM Fellow (2006) Wittgenstein-Prize (2012) Doctorat honoris causa de l'université Grenoble-I (2012) Membre de l'AAAS (2013) Prix Milner (2015) Docteur honoris causa de l'université Masaryk (2015)