Georg Weissenbacher

Georg Weissenbacher

Georg Weissenbacher
Technische Universität Wien
Institut für Informationssysteme 184/4
Favoritenstraße 9–11
1040 Wien

Room: HG 03 07 (how to get there)
Phone: +43 (1) 58801 – 184 35
Email: ta.etysrofnull@bnessiew

I’m leading the Rigorous Software Engineering lab of the Formal Methods in Systems Engineering Group. I’ve a master’s level degree from Graz University of Technology and a doctorate in computer science from Oxford University. Prior to my appointment in Vienna, I was a postdoctoral researcher at Princeton University.

My current research on the detection and explanation of Heisenbugs is funded by a Vienna Research Group for Young Investigators grant (stay tuned for publications on that topic).

A list of publications and my curriculum vitae is available from

Latest News

Helmut Veith 1971-2016

It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.

Continue reading

Full news archive