© Tiss: Georg Weissenbacher

Univ.Prof. Dipl.-Ing. Georg Weissenbacher D.Phil., öffnet eine externe URL in einem neuen Fenster wurde mit Wirksamkeit vom 01.12.2020 zum Universitätsprofessor für Rigorous Systems Engineering an der Technischen Universität Wien bestellt. Er ist dem Institut für Logic and Computation, öffnet eine externe URL in einem neuen Fenster (E192) der Fakultät für Informatik, öffnet eine externe URL in einem neuen Fenster zugeordnet.

Lebenslauf: Georg Weissenbacher hat an der TU Graz Telematik (Abschlussjahr 2003) studiert und promovierte anschließend 2010 an der University of Oxford im Bereich Computer Science mit einer Dissertation über das Thema "Program Analysis with Interpolants, öffnet eine externe URL in einem neuen Fenster" bei Prof. Daniel Kröning (der Auslandsaufenthalt wurde durch ein Microsoft Research European PhD Scholarship ermöglicht). Nach seinem Abschluss an der University of Oxford war Georg Weissenbacher zwei Jahre an der Universität Princeton (USA) als Postdoctoral Research Associate und Lecturer tätig. 2012 bewarb er sich erfolgreich um die Laufbahnstelle Rigorous Software Engineering an der TU Wien (aufgrund der Einwerbung eines WWTF Vienna Research Groups for Young Investigators Grants, öffnet eine externe URL in einem neuen Fenster), die er 2017 erfolgreich abschloss und daher seit 1.2.2017 als Associate Professor dem Institut für Logic und Computation zugeordnet wurde. Zudem erlangte er im Jahr 2016 die Venia Docendi für das Fach “Computer Science” mit der Habilitationsschrift "Logical methods in automated hardware and software verification, öffnet eine externe URL in einem neuen Fenster". 

Spezielle Funktionen an der TU Wien: Georg Weissenbacher ist für die Funktionsperiode 2025-2028 Ersatzmitglied im Senat.

Die wissenschaftliche Heimat von Georg Weissenbacher ist der Forschungsbereich FORSYTE – Formal Methods in Systems Engineering, öffnet eine externe URL in einem neuen Fenster (E192-04). Seit Juli 2025 leitet er zudem das Doktoratskolleg Automated Reasoning (E056-26). Seine Forschung fokussiert unter anderem auf automatisierte Softwareverifikation, das Finden von Bugs sowie auf Computational Logic und automatische Deduktion.

Publikationen von Georg Weissenbacher in der Scopus, öffnet eine externe URL in einem neuen Fenster-Datenbank und im reposiTUm, öffnet eine externe URL in einem neuen Fenster.

[Webpage Georg Weissenbacher, öffnet eine externe URL in einem neuen Fenster]