Georg Weissenbacher received a Diploma in telematics from Graz University of Technology, Austria.

While pursuing his degree, he gained practical experience working as a software developer at the Austrian companies Joanneum Research and HS-ART. In summer 2000, he interned at the Danish company IFAD, where he worked on software verification tools and formal specification.

His master's thesis (supervised by Roderick Bloem) is on abstraction refinement algorithms for software verification, a topic he continued to work on during two internships at Microsoft Research Redmond (WA) and Cambridge (UK).

After his studies, Georg worked at the Austrian Research Centers in Vienna on verification of dependable embedded systems.

In October 2005, Georg joined Daniel Kroening's Formal Verification group at the Computer Systems Institue of the ETH Zurich as a doctoral student. In 2008, he followed his supervisor to the Computing Laboratory of the University of Oxford, continuing his doctoral studies (reading for a D.Phil. degree). Georg is a member of Magdalen College.

Georg's current work is funded by a Microsoft European PhD scholarship.

Download CV (March 2010)