My research deals with path-finding algorithms.
The aim of my project is to build language features
to reduce (minimize) the gap between program specification
and its implementation.
First Annual Report You can read or download the file here
School of Computer Science
School Phone List
School of Computer Science and Information Technology Home Page
The University of Nottingham Home Page