2003-2005 LLM at University of Reading
I undertook a Masters degree in Advanced Legal Studies, sponsored by my employer, University of Reading, and achieved a distinction.
1994-1997 PhD at University of St Andrews.
Under Dyckhoff's supervision I completed my PhD, submitting my thesis Tools and Techniques for Machine-Assisted Meta-Theoretic Proof in August 1997, and was awarded the PhD by examiners Martin (of St Andrews) and Luo (of Durham) in November 1997.
1992-1994 MSc by research at University of Leeds.
I did a part-time MSc by research (no taught component) in Computer Science at Leeds under the supervision of Tarver and Cohn. This course was self-funded: I received no grants or fees from any outside body. The thesis title was INDUCT: A Logical Framework for Induction Over Natural Numbers and Lists Built in SEQUEL, and I was awarded the MSc with distinction by my examiners McEvoy (of Leeds) and Bundy (of Edinburgh) in January 1995.
1988 - 1991 BSc at University of Leeds.
My first degree was Combined Studies in Maths and Computational Science, from which I graduated in July 1991 with a II(i) Honours degree.