HOME
MAP
CONTACT
My main research interests are programming languages, semantics and software verification.
My office hour is Friday 3:00pm - 4:00pm in CW3 cityside.
Author: Amy Furniss (mjf29 ?at? le.ac.uk).© University of Leicester 2010. Last modified: 10th March 2011, 14:30:48CMS Web Maintainer. Any opinions expressed on this page are those of the author.