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 nospam@TUGraz.at @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)

Weitere Wissenschaftler mit ähnlichem Arbeitsgebiet#