unbekannter Gast

Professor Dr. Thomas A. Henzinger, MAE#

Professor Dr. Thomas A. Henzinger, MAE
Professor Dr. Thomas A. Henzinger, MAE

Position
Direktor des ISTA
Universität
-
Institut
IST-A
Arbeitsgebiet
Computer-Aided Verification, Programm Verifikation, Software, Model Checking, Concurrency Theory, Real-Time Systems, Embedded Software
E-Mail
meine-drei-initialen@ist.ac.at
Web-Site
http://pub.ist.ac.at/~tah
Besondere Aktivitäten
ACM Fellow, IEEE Fellow, Deutsche Akademie der Wissenschaften (Leopoldina),
Mitglied der Academia Europaea
Mitgliedschaften
-
Projekte
siehe http://pub.ist.ac.at/~tah
Publikationen
siehe http://pub.ist.ac.at/~tah
Anschrift
Am Campus 1
3400 Klosterneuburg Am Campus 1, 3400 Klosterneuburg
Ort
Gugging, Klosterneuburg
Telefon
+43 2243 9000 1016
Anmerkung
Lebensslauf siehe http://pub.ist.ac.at/~tah/bio.html
Wittgensteinpreis 2012 (mit 1,5 Mio Euro dotiert)
Benutzer-ID: t.henzinger



Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#