KATY DOBSON

UNIVERSITY OF LEEDS

SCHOOL OF COMPUTING

Welcome to Katy Dobson's web pages

I am a final year PhD student at Leeds University's School of Computing.

I am studying the abstract domain of grids, a domain that 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.

A technical report of this work can be found here

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

Page last updated 21st July 2006