Thomas Henzinger (né le ) est un informaticien autrichien spécialisé dans le domaine des méthodes formelles.
Biographie Il est né en . 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. À partir de 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 . Depuis 2009, il préside l'Institute of Science and Technology AustriaKaren Kaplan. Thomas Henzinger, president, Institute of Science and Technology Austria, Klosterneuburg, Austria. Nature 2009;457:752. Lire en ligne. En 2012, il reçoit le titre de docteur honoris causa de l'Université Joseph-Fourier - Grenoble 1Université Joseph-Fourier - Grenoble 1..
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 : .
Notes et références
Liens externes
Catégorie:Personnalité autrichienne liée à l'informatique Catégorie:Docteur honoris causa de l'université Grenoble 1 Catégorie:Personnalité en méthodes formelles Catégorie:Naissance en décembre 1962 Catégorie:Enseignant à l'École polytechnique fédérale de Lausanne Catégorie:Membre de l'Academia Europaea Catégorie:Lauréat du prix EATCS