Wir freuen uns über jede Rückmeldung. Ihre Botschaft geht vollkommen anonym nur an das Administrator Team. Danke fürs Mitmachen, das zur Verbesserung des Systems oder der Inhalte beitragen kann. ACHTUNG: Wir können an Sie nur eine Antwort senden, wenn Sie ihre Mail Adresse mitschicken, die wir sonst nicht kennen!
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#