Technische Universität Wien
Institut für Informationssysteme 184/4
|Room:||HG 03 07 (how to get there)|
|Phone:||+43 (1) 58801 – 184 35|
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 http://www.georg.weissenbacher.name.