Thomas Henzinger

Thomas Henzinger
Biographie
Naissance
Voir et modifier les données sur Wikidata (61 ans)
Autriche ou LinzVoir et modifier les données sur Wikidata
Nationalité
autrichienneVoir et modifier les données sur Wikidata
Formation
Activités
Informaticien, professeur d'universitéVoir et modifier les données sur Wikidata
Conjoint
Monika HenzingerVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Zohar MannaVoir et modifier les données sur Wikidata
Distinctions

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

Biographie

Il est né en décembre 1962[1]. 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[2], 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. À partir de 2004, il est professeur au département d'informatique de l'École polytechnique fédérale de Lausanne (EPFL)[2]. Il a été élu fellow de l'IEEE à partir du . Depuis 2009, il préside l'Institute of Science and Technology Austria[3]. En 2012, il reçoit le titre de docteur honoris causa de l'Université Joseph-Fourier - Grenoble 1[4].

Il reçoit le prix EATCS en 2019.

Recherche

Il a mis au point des méthodes pour détecter les bogues et les erreurs dans les programmes informatiques. Il a travaillé sur ce sujet à l'université de Californie à Berkeley. Il a également co-développé un langage informatique qui élimine les sources d'erreurs de synchronisation, déterminantes dans la fiabilité des systèmes de navigation des avions, par exemple : « si un système se bloque à un moment critique du contrôle du vol, cela peut être un désastre »[2].

Notes et références

  1. ↑ (cs) « Thomas A. Henzinger, dr. h. c. », sur Encyclopédie de l'histoire de Brno
  2. ↑ a b et c (en) Karan Kaplan, « Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria », Nature, vol. 457, no 7230,‎ , p. 752 (DOI 10.1038/nj7230-752a)
  3. ↑ Karen Kaplan. Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria. Nature 2009;457:752. Lire en ligne
  4. ↑ Université Joseph-Fourier - Grenoble 1.

Liens externes

  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Google Scholar
    • Mathematics Genealogy Project
    • ORCID
    • Scopus
  • Notice dans un dictionnaire ou une encyclopédie généralisteVoir et modifier les données sur Wikidata :
    • Encyclopédie de l'histoire de Brno
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • IdRef
    • LCCN
    • GND
    • CiNii
    • Belgique
    • Pays-Bas
    • Israël
    • NUKAT
    • Norvège
    • Tchéquie
    • Corée du Sud
    • WorldCat
  • icône décorative Portail de l’informatique