© Tiss: Georg Weissenbacher

Univ.Prof. Dipl.-Ing. Georg Weissenbacher DPhil was appointed as University Professor for Rigorous Systems Engineering at TU Wien with effect from December 1, 2020. He is assigned to the Institute for Logic and Computation, opens an external URL in a new window (E192) within the Faculty of Informatics, opens an external URL in a new window.

Georg Weissenbacher has studied Telematics at TU Graz (Graduation year 2003) and was awarded his doctorate 2010 at the University of Oxford in the area of Computer Science with his thesis "Program Analysis with Interpolants, opens an external URL in a new window", supervised by Prof. Daniel Kröning (his stay abroad was financed by the Microsoft Research European PhD scholarship). Afterwards he was working as Postdoctoral Research Associate and Lecturer for almost two years at the Princeton University, New Jersey (USA). 2012 he successfully applied for the tenure-track position Rigorous Software Engineering at TU Wien (WWTF Vienna Research Groups for Young Investigators Grants,, opens an external URL in a new window), which he successfully completed in 2017 and was assigned to the Insitute for Logic and computation as Associate Professor. In the year 2016 he obtained his Venia Docendi, thus qualifiying him to teach in the area of Computer Science, with his habilitation "Logical methods in automated hardware and software verification, opens an external URL in a new window". 

He is based within the Research Unit FORSYTE - Formal Methods in Systems Engineering, opens an external URL in a new window (E192-04).

Publications by Georg Weissenbacher in the Scopus, opens an external URL in a new window database and in ReposiTUm, opens an external URL in a new window.