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: | ta.etysrofnull@bnessiew |
| 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 (stay tuned for publications on that topic).
A list of publications and my curriculum vitae is available from http://www.georg.weissenbacher.science.
