About me
| Georg Weissenbacher |
| DPhil (Oxon) |
| postdoctoral research associate |
- I am currently a postdoctoral research associate in Prof Sharad Malik's group at the department of electrical engineering of Princeton University.
- I received a Diploma from Graz University of Technology in Austria, started my doctoral studies at ETH Zurich (Switzerland) and completed my DPhil in computer science at the University of Oxford in 2010 (under the supervision of Dr Daniel Kröning). My dissertation is concerned with the automated verification of software. My doctoral studies were generously supported through a Microsoft European PhD scholarship.
- While pursuing my degree, I gained practical experience working as a software developer at the Austrian companies Joanneum Research and HS-Art. I interned at the Danish company IFAD, and at Microsoft Research Redmond (WA) and Cambridge (UK). After my undergraduate studies, I spent one year at the Austrian Research Centers in Vienna as a software engineer.
- My research interests are automated formal verification techniques, static analysis, and decision procedures. I'm the co-author of over a dozen peer reviewed papers on these topics.
- I enjoy teaching and tutor and assist courses since my undergraduate studies. I've recently taught a course on formal verification at Princeton University. I also co-authored a textbook on digital circuit design.