next up previous
Next: Research Up: Curriculum Vitae Previous: Employment

Education

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.


next up previous
Next: Research Up: Curriculum Vitae Previous: Employment
Andrew A. Adams 2007-06-28