I'm a PhD student at the Foundations of Programming group at the University of Nottingham. My research is on algorithmic problem solving.
Algorithmic Problem Solving The calculation of algorithms from their specification Algorithm design Mathematical Methodology