Standort: science.ORF.at / Meldung: "TU-Wien-Informatiker Helmut Veith gestorben"

Porträtfoto von Helmut Veith

TU-Wien-Informatiker Helmut Veith gestorben

Der Informatiker Helmut Veith von der Technischen Universität (TU) Wien ist tot. Wie die TU am Montag bekannt gab, war der 45-Jährige am Wochenende infolge von Komplikationen nach einer geplanten Operation in Wien ins Koma gefallen und ohne das Bewusstsein wieder zu erlangen verstorben.

Personalia 14.03.2016

Veith galt als international führender Wissenschaftler im Bereich computer-unterstützte Verifikation.

"Mit Helmut Veith verlieren nicht nur die Fakultät für Informatik und die TU Wien einen ihrer führenden und innovativen Köpfe, der mit Leib und Seele Forscher und Lehrer war, sondern auch die österreichische Wissenschaft und die internationale Informatikforschung einen höchst angesehenen Wissenschaftler, der sehr viel bewegt hat", heißt es in einem auf der TU-Homepage veröffentlichten Nachruf.

"Österreich zu Hotspot der Logik gemacht"

Veith, am 5. Februar 1971 in Wien geboren, studierte an der TU Wien das Studium irregulare "Computationale Logik" und wurde 1998 sub auspiciis praesidentis promoviert. 2001 folgte die Habilitation für das Fach Angewandte und Theoretische Informatik. Von 2003 bis 2007 war er Professor an der TU München, wechselte dann an die TU Darmstadt, ehe er 2010 wieder an die TU Wien zurückkehrte, wo er die neu geschaffene Professur für Computer Aided Verification einnahm.

Im Rahmen eines Maxe-Kade Fellowship von 1999 bis 2000 forschte Veith in der Gruppe von Edmund M. Clarke, dem Turing-Preisträger 2007, an der Carnegie Mellon University in Pittsburgh (US-Bundesstaat Pennsylvania). Der Aufenthalt sollte richtungsweisend für sein weiteres Hauptarbeitsgebiet in der Forschung sein.

Seine Interessen beschränkten sich aber nicht nur auf Verifikation, auch Computersicherheit und eingebettete Systeme, mathematische Logik, Datenbanktheorie, Endliche Modelltheorie und Komplexitätstheorie gehörten dazu.

Veith habe "Österreich zu einem Hotspot im Bereich Logik und Verifikation gemacht", heißt es in dem Nachruf. Zu den von ihm angeregten bzw. mitgegründeten Projekten zählen ein österreichweites Forschungsnetz im Bereich der Computer-Aided Verification, ein Doktoratskolleg für mathematische Logik in der Informatik an der TU Wien, das Vienna Center of Logic and Algorithms (VCLA), und der "Vienna Summer of Logic", die größte Konferenz in der Geschichte der Logik im Jahr 2014.

science.ORF.at/APA

Mehr zu dem Thema: