Personal Information

  Son of Lucien Paul Rollings Fourman (d 1968), and Julia Mary Fourman (d 1981).

• Born 12 September 1950
• Married 12 November 1982, to Jennifer Robin Head
• Children  
  • Paula Frances 30 July 1984
  • Maximillian 25 Sept 1987
  • Robin Alexander 25 May 1992

Education

 

• Allerton Grange School, Leeds
• Bristol University, B.Sc. 1971, Mathematics with other subjects (Philosophy and Computing).
• Linacre College,
  Oxford, D.Phil. 1974, Connections Between Category Theory and Logic, supervised by Prof. Dana Scott.

Career

 

• Wolfson College
  Oxford, Junior Research Fellow, 1974-76
• Clark University, Worcester, Mass. Dept of Mathematics
  Assistant Professor. 1976-77
• Columbia University, New York, Dept of Mathematics
  JF Ritt Assistant Professor, 1977-82
• Cambridge University, DPMMS
  SRC Research Fellow, 1979-80
• Sydney University, Australia, Pure Mathematics
  Senior Visiting Fellow, September-December 1982
• McGill University, Montreal, Pure Mathematics
  Visiting Fellow, January-May 1983
• Brunel University, Dept. of Electrical Engineering
  • SRC Research Fellow, 1983-86
  • Hirst reader in IC design, 1986
  • Professor of Formal Systems, 1986-88
• Abstract Hardware Limited
  Founding Director, 1986 - 1996
• The University of Edinburgh, Department of Computer Science,
  • Professor of Computer Systems, 1988 -
  • Head of Informatics Planning Unit, 1994 -
  • Head of Department, 1995 -