Thomas Henzinger

Un article de Wikipédia, l'encyclopédie libre.

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

[modifier] 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'EPFL. Il a été élu Fellow de l'IEEE à partir du 1^er janvier 2006.

[modifier] 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.

• Portail de l’informatique