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