© Tiss: Georg Weissenbacher

Univ.Prof. Dipl.-Ing. Georg Weissenbacher DPhil 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.

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 der Dissertation "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 seine venia docendi für Computer Science mit der Habilitationsschrift "Logical methods in automated hardware and software verification, öffnet eine externe URL in einem neuen Fenster". 

Wissenschaftlich beheimatet ist er im Forschungsbereich FORSYTE - Formal Methods in Systems Engineering, öffnet eine externe URL in einem neuen Fenster (E192-04).

Publikationen von Georg Weissenbacher im ReposiTUm, öffnet eine externe URL in einem neuen Fenster.