Welcome to Juan Carlos Saenz-Carrasco's Home Page

Research Interests

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


Room A03
School of Computer Science
Jubilee Campus
Wollaton Road

Email: jsw@cs.nott.ac.uk,

School Phone List

School of Computer Science and Information Technology Home Page
The University of Nottingham Home Page