Welcome to Juan Carlos Saenz-Carrasco's Home Page

Research Interests

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.


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