Georg Weissenbacher ist Universitätsprofessor an der Fakultät für Informatik der Technischen Universität Wien. Er beschäftigt sich mit der automatischen Verifikation von Software und Hardware. Seine Forschung zielt darauf ab, komplizierte Fehler in Softwaresystemen automatisch zu erkennen und zu erklären. Georg Weissenbacher studierte an der Technischen Universität Graz und der ETH Zürich und schloss sein Doktoratsstudium an der University of Oxford ab. Vor dem Antritt seiner Stelle an der TU Wien arbeitete er als Forscher und Dozent an der Princeton University.Georg Weissenbacher ist Reihenherausgeber der Schriftenreihe „Conference Series: Formal Methods in Computer-Aided Design“.