Born 1944

Degrees from the University of Cambridge:

1965 B.A. (mathematics)

1969 M.A.

1970 Ph.D.

2015 Sc.D.

Employment:

1968-69 Visiting Lecturer, University of Wisconsin at Madison

1969-70 Research Fellow, Peterhouse, Cambridge

1970-75 University Assistant Lecturer, University of Cambridge

1970-72 Supernumerary Fellow, Peterhouse

1972-1990 Official Fellow, Peterhouse

1989-99: Visits of various durations to universities and research institutes, of which the most significant were

1989-90 at the Logic Year at the Mathematical Sciences Research Institute at Berkeley, California;

1991, Spring semester, Visiting Professor at the University of California, Berkeley;

1991-92, Extraordinary Professor at the University of Warsaw

1993-96, Member of the Centre de Recerca Matemàtica at Barcelona, (with a break as Senior Visiting Fellow at Merton College, Oxford, for the Hilary Term, 1995.)

1997-98, Sanford Professor of Mathematical Logic at the Universidad de los Andes in Bogotá.

1999-2012 Professor at the Université de la Réunion in section 25 of the CNU:

February - April 1999, professeur invité

September 1999 - August 2000, professeur associé

from September 2000, professeur titulaire;

in 2006, promoted première classe by the Conseil National des Universités in Paris.

Present status, from April 2013 for five years: Professeur Émérite of the Université de la Réunion.

Memberships of scholarly bodies:

Member of the Association for Symbolic Logic,

Member of the British Logic Colloquium,

Member of the European Set Theory Society

Member of the Société Mathématique de France;

Fellow of the Cambridge Philosophical Society.

Honorary Departmental Fellow at the University of Aberystwyth

Honorary Departmental Fellow at University College, London

Dauerhafter Gaststatus, Mathematisches Institut, Albert-Ludwigs-Universität, Freiburg im Breisgau.