Michael Fourman

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article is an autobiography or has been extensively edited by the subject or by someone connected to the subject. It may need editing to conform to Wikipedia's neutral point of view policy. There may be relevant discussion on the talk page. (January 2011) (Learn how and when to remove this message) This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (November 2019) (Learn how and when to remove this message) This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous. Find sources: "Michael Fourman" – news · newspapers · books · scholar · JSTOR (November 2019) (Learn how and when to remove this message) (Learn how and when to remove this message)

Michael Paul Fourman
Born	(1950-09-12) 12 September 1950 (age 74) Oxford, United Kingdom
Nationality	British
Alma mater	University of Oxford, University of Bristol.
Scientific career
Fields	logician, computer scientist, mathematician
Institutions	University of Edinburgh
Doctoral advisor	Robin Gandy Dana Scott

Michael Paul Fourman (born 12 September 1950) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001 to 2009.

Fourman is worked in applications of logic in computer science, artificial intelligence, and cognitive science – more specifically, formal models of digital systems, system design tools, proof assistants, categorical semantics and propositional planning.