2008-current : I am currently studying for a PhD in Computer Science at the University of Bath. I am studying game semantics and related areas; with my supervisors Guy McCusker and Jim Laird. A talk I presented at the GaLoP workshop for Games for Logic and Programming Languages in March 2009 can be found here.
2007-2008 : Temp Graduate Software Engineer at Renishaw. Here I worked in Advanced Manufacturing Systems working on various test rigs and assorted items using a multitude of technologies. I have also spent many summers at Renishaw.
2006-2007 : MSc in Mathematics and the Foundations of Computer Science at Keble College, Oxford University. My master's thesis (supervised by Samson Abramsky) provided categorical semantics for a simple quantum programming language (defining operational and denotational semantics and showing that they coincide within the abstract framework.) I also studied other areas of theoretical computer science and maths.
2003 - 2006 : Degree in Mathematics and Computer Science at Keble College, Oxford. Here I studied mainly pure maths and various aspects of CS. In my first year I produced this light Fractal Geometry essay for Keble.
2001-2003 : I studied A Levels at Cirencester College, Gloucestershire.