Thomas Henzinger - Thomas Henzinger
Thomas Henzinger | |
---|---|
narozený | |
Národnost | rakouský |
Známý jako | návrh a ověřování softwaru, hardwaru a vestavěných systémů |
Ocenění | Člen NAS (2020) Člen IEEE Člen Akademie věd Leopoldina Člen Rakouské akademie věd Člen Academia Europaea |
Vědecká kariéra | |
Pole | počítačová věda |
Instituce | Ústav vědy a technologie, Rakousko |
Thomas Henzinger (narozen 1962) je rakouský počítačový vědec, vědecký pracovník a prezident Ústavu vědy a technologie, Rakousko.
Život a kariéra
Henzinger se narodil v Rakousku. Bakalářský titul z informatiky získal od Univerzita Johannesa Keplera v Linci a jeho doktorát z Stanfordská Univerzita v roce 1991,[1] doporučil Zohar Manna. Je ženatý Monika Henzinger a má tři děti.
Postupně byl asistentem profesora informatiky na Cornell University (1992-95) a odborný asistent (1996-97), docent (1997-98), profesor (1998-2004) a mimořádný profesor (do 2011)[2] elektrotechniky a informatiky na University of California, Berkeley. Byl také ředitelem Institut Maxe Plancka informatiky v Saarbrücken V Německu v roce 1999 a profesor počítačových a komunikačních věd na EPFL (Švýcarský federální technologický institut v Lausanne) ve Švýcarsku v letech 2004 až 2009. [3] V současné době je prezidentem Institute of Science and Technology, Austria.[1]
Jeho výzkum se týká teorie moderních systémů, zejména modelů, algoritmů a nástrojů pro návrh a ověřování spolehlivého softwaru, hardwaru a vestavěných systémů. Jeho nástroj HyTech byl první kontrolou modelu pro smíšené diskrétní spojité systémy.[3]
Je členem Akademie věd Leopoldina, Rakouská akademie věd, Academia Europaea, a Institute of Electrical and Electronics Engineers.
Byl oceněn v roce 2015 Milner Award podle královská společnost[3]. Získal a Doctor honoris causa z Masarykova univerzita stejně jako Wittgensteinova cena Rakouský vědecký fond. On je Člen ACM a Vysoce citovaný vědecký pracovník ISI. Je považován za výzkumného pracovníka číslo jedna v Rakousku[4] podle údajů H-indexu [5].
Reference
- ^ A b Kaplan, Karan (4. února 2009). „Thomas Henzinger, prezident, Institute of Science and Technology Austria, Klosterneuburg, Rakousko“. Příroda. 457 (7230): 752. doi:10.1038 / nj7230-752a.
- ^ „Thomas A. Henzinger, mimořádný profesor, EECS, University of California Berkeley, USA“.
- ^ A b C „Royal Society Milner Award“. královská společnost. Citováno 19. listopadu 2015.
- ^ „Profil Thomase Henzingera“. Průvodce 2 Výzkum. Citováno 13. září 2018.
- ^ „Thomas Henzinger Google Scholar Profile“.
externí odkazy
- Archiv stránky na EPFL
- Domovská stránka v oddělení Berkeley EECS
- Page ve společnosti IST Austria
- Stránka na Rakouské akademii věd
Tento článek o rakouském vědci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |