Thomas Henzinger
Thomas Henzinger (né le ) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.
Biographie
Après avoir obtenu son diplôme d'ingénieur en informatique de l'université Kepler de Linz, en Autriche et un M.Sc. en informatique et sciences de l'information de l'Université du Delaware, il devient doctorant à l'université de Stanford, en Californie aux États-Unis, dont il est diplômé en 1991. Professeur assistant à l'université Cornell de 1992 à 1995, il fut aussi directeur de l'Institut Max-Planck d'informatique en 1999 à Sarrebruck en Allemagne, puis professeur à l'université de Berkeley jusqu'en 2004. Depuis 2004, il est professeur au département d'informatique de l'École polytechnique fédérale de Lausanne (EPFL). Il a été élu fellow de l'IEEE à partir du . En 2012, il reçoit le titre de docteur honoris causa de l'Université Joseph-Fourier - Grenoble 1[1].
Il reçoit le prix EATCS en 2019.
Recherche
Ses domaines de prédilection sont la théorie des systèmes modernes, en particulier les formalismes et les outils pour le design hiérarchique et modulaire, ainsi que l'implémentation et la vérification des systèmes embarqués, temps-réel et hybrides. Son outil HyTech est le premier vérificateur de modèles pour les systèmes mixtes discrets-continus. Il est en outre le créateur de BLAST (Berkeley Lazy Abstraction Software Verification Tool), un outil pour la vérification des pilotes matériels racheté par Microsoft.
