Georg Weissenbacher

Assistant Professor at the Institute of Information Systems

Research Interests
programmer productivity tools, automated software verification, bug detection, fault localisation and error explanation, invariant generation, logic and interpolation