My PhD 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.
I am also interested in programming languages, mathematics for program construction and theoretical computing as well.
School of Computer Science
School Phone List
School of Computer Science and Information Technology Home Page
The University of Nottingham Home Page