Georg Weissenbacher

Address:
Georg Weissenbacher
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HG 03 07 (how to get there) |
Phone: | +43 (1) 58801 – 184 35 |
Email: | weissenb@forsyte.at |
Web: | http://forsyte.at/~weissenbacher/ |
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.
A list of publications and my curriculum vitae is available from http://www.georg.weissenbacher.science.