Role: Emeritus Professor Of Mathematical Logic And Computing Science
Email:
Websites
I am Professor of Mathematical Logic and Computing Science and hold a joint appointment in the schools of Computer Science and Mathematics at the University of Manchester. I am a member of the Logic Group in Mathematics and the Formal Methods Group in Computer Science.
I obtained my BA in Mathematics in 1963 and my Ph.D. in Mathematics in 1966, both at Oxford University. After two years of visiting positions at Rutgers and Wisconsin (at Madison) Universities I have worked at Manchester University, in the school of Mathematics and, from 1987, also in the school of Computer Science. I have also held visiting positions at Oslo, Caltech, Utrecht, Stanford, Bloomington.
I am on the editorial board of the Notre Dame Journal of Formal Logic and the Cambridge Tracts in Theoretical Computer Science, having previously served on the editorial boards of the Journal of Symbolic Logic and the Annals of Pure and Applied Logic.
During 2007-2008 I am a member of the International Board of Jurors for the Kurt Goedel Centenary Research Prize Fellowships. This is an open competition (see http://kgs.logic.at/goedel-fellowship) offering predoctoral, post-doctoral and Senior fellowships to the prize winners and will also result in publications in a special issue of the Annals of Pure and Applied Logic by those authors who reach the
shortlist.
Personal details | Publications
This website will look much better in a web browser that supports web standards, but it is accessible to any browser or Internet device.