Research Interests
programmer productivity tools, automated software verification, bug detection, fault localisation and error explanation, invariant generation, logic and interpolation
Georg Weissenbacher
Associate Professor at the Institute of Information Systems