Short Curriculum Vitae

MA, Mathematics (Hons), University of Cambridge, 1986
MSc, Knowledge Based Systems, Edinburgh, 1987
PhD, Computer Science, Warwick, 1993. My thesis, under the title `Analytic Proof Systems for Classical and Modal Logics of Restricted Quantification' is available on-line in its version as a technical report. My PhD supervisor was Tony Cohn, now at the School of Computer Studies, University of Leeds. Tony co-ordinates SPACENET, which is probably not what you think it is!: My thesis, under the title `Analytic Proof Systems for Classical and Modal Logics of Restricted Quantification' is available on-line in its version as a technical report.; My PhD supervisor was Tony Cohn, now at the School of Computer Studies, University of Leeds. Tony co-ordinates SPACENET, which is probably not what you think it is!
Scientific Officer, RSRE, Malvern, Jan-Jul, 1988
Visitor, Mathematical Sciences Institute, Cornell University, Oct 1991- Mar 1992
Postdoctoral Research Fellow, University of Edinburgh, Mar 1992-Mar 1994: I worked in the Mathematical Reasoning Group.
Temporary Lecturer in Artificial Intelligence, University of Edinburgh Oct-Dec 1994
Lecturer in Computer Science, University of Strathclyde , Jan 1995 - June 1999. Founded in 1796, Strathclyde has been receiving a good press from (at least) its 21st birthday.
July 1999 0 Lecturer in Computational Sciences, University of St Andrews. Worked half-time since 2001. Reader since 2002.

School of Mathematical and Computati
onal Sciences
University of St. Andrews
North Haugh, St Andrews, Fife KY16 9SS
Scotland


E-mail: ipg@dcs.st-and.ac.uk
Phone: +44 1334 46 3247 direct line
Fax:   +44 1334 46 3278




	
	

ipg@dcs.st-and.ac.uk