KATY DOBSON

UNIVERSITY OF LEEDS

SCHOOL OF COMPUTING

Welcome to Katy Dobson's web pages

I am a researcher at Leeds University's School of Computing.

My research is in the area of abstract interpretation, specifically the abstract domain of grids and grid product domains. The grid domain is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take.

I am part of the Program Analysis and Logic Programming group.

My CV is available here.

Page last updated 19th February 2009