Welcome Georg Weissenbacher

Tuesday, Jun 26, 2012

Georg Weissenbacher, leader of a WWTF funded Vienna Research Group, will start his work in our group on July 2. His project “Heisenbugs: From Detection to Explanation” is applying formal methods to identify hard-to-detect errors in computer systems.

See a newspaper article on his work in “Der Standard”.