| Fødsel |
1962 eller 8. december 1962 Østrig eller Linz |
|---|---|
| Nationalitet | Østrigsk |
| Uddannelse |
Stanford University Linz University |
| Aktiviteter | Computerforsker , universitetsprofessor |
| Arbejdede for | Cornell University , University of California i Berkeley , Swiss Federal Institute of Technology Lausanne |
|---|---|
| Medlem af |
Léopoldine Academy American Academy of Arts and Sciences Academia Europaea (2006) American Academy of Sciences (2020) |
| Priser |
Thomas Henzinger (født den8. december 1962) er en østrigsk computerforsker med speciale i formelle metoder .
Efter eksamen i Computer Engineering fra Kepler University i Linz , Østrig og en M.Sc. i computer- og informationsvidenskab fra University of Delaware, blev han doktorand ved Stanford University. , I Californien i USA , hvorfra han dimitterede. i 1991 . Adjunkt ved Cornell University fra 1992 til 1995 , han var også direktør for Max-Planck Institute for Informatics i 1999 i Saarbrücken , Tyskland , derefter professor ved Berkeley University indtil 2004 . Siden 2004 har han været professor i datalogisk afdeling ved det schweiziske føderale institut for teknologi i Lausanne (EPFL) . Han blev valgt til en fyr af IEEE fra1 st januar 2006. I 2012 modtog han titlen som doktor honoris causa fra University Joseph-Fourier - Grenoble 1 .
Han modtog EATCS-prisen i 2019.
Hans ekspertiseområder er moderne systemteori, især formalismer og værktøjer til hierarkisk og modulært design samt implementering og verifikation af indlejrede , realtids- og hybridsystemer. Dens HyTech- værktøj er den første modelkontrol til blandede diskrete kontinuerlige systemer. Han er også skaberen af BLAST (Berkeley Lazy Abstraction Software Verification Tool) , et værktøj til verificering af hardwaredrivere erhvervet af Microsoft .