Misplaced Pages

Michael Fourman

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Logician and computer scientist

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 Misplaced Pages'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
NationalityBritish
Alma materUniversity of Oxford, University of Bristol.
Scientific career
Fieldslogician, computer scientist, mathematician
InstitutionsUniversity of Edinburgh
Doctoral advisorRobin 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.

Qualifications

Fourman received a BSc in Mathematics and Philosophy from the University of Bristol in 1971, then his MSc in Mathematical Logic from the University of Oxford in 1972. He wrote his DPhil thesis Connections between Category Theory and Logic under the supervision of Dana Scott at Oxford, defending his thesis in 1974.

Career

He continued to work with Scott as an SRC postdoctoral Research Fellow and Junior Research Fellow of Wolfson College, in Oxford, until 1976, when he moved to the USA, first as a Visiting Assistant Professor of Mathematics at Clark University in Worcester, Massachusetts, then, from 1977 to 1982, as JF Ritt Assistant Professor of Mathematics at Columbia University in New York.

In 1983 he moved, with a Science and Engineering Research Council Fellowship, to the Department of Electronic and Electrical Engineering at Brunel University. He was appointed to a Readership, and then to the Chair of Formal Systems, at Brunel in 1986.

Fourman was co-founder and Technical Director of Abstract Hardware Limited (AHL), a company formed in 1986. He was central in the development of the LAMBDA system (Logic And Mathematics Behind Design Automation) to aid hardware design, a tool implemented in the SML programming language and marketed by AHL. He left the company in 1997.

In 1988 he joined the Laboratory for Foundations of Computer Science at the University of Edinburgh, and was appointed to the Chair of Computer Systems in the Department of Computer Science. In 1998 he was founding Head of the Division of Informatics, which became the current School of Informatics, incorporating the former Department of Artificial Intelligence, the Artificial Intelligence Applications Institute, the Centre for Cognitive Science, the Human Communication Research Centre, and the Department of Computer Science.

He has again been Head of the School of Informatics since August 2002.

He has held visiting positions at universities in Paris (1975), Utrecht (1977, 1980), Cambridge (1979–80), Sydney (1982), Montreal (1983), and Perth (1994).

Bibliography

  • Fourman, Michael P. (1977), "The logic of topoi", in Jon Barwise (ed.), Handbook of Mathematical Logic (Stud. Logic Found. Math. 90), Elsevier Science Publishers B.V., North-Holland, pp. 1053–1090, ISBN 978-0-444-86388-1
  • Fourman, Michael P.; Scott, Dana S. (1979), "Notes on sheaves and logic'", in M. P. Fourman; C. J. Mulvey; Dana S. Scott (eds.), Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 (Lecture Notes in Mathematics Vol 753), Springer-Verlag, pp. 302–401, ISBN 978-0-387-09564-6
  • Fourman, Michael P. (1982), "Notions of choice sequence", in D. van Dalen; A. Troelstra (eds.), L.E.J. Brouwer Centenary Symposium: Proceedings of the conference held in Noordwijkerhout, 8–13 June 1981 (Stud. Logic Found. Math. 110), Elsevier Science Publishers B.V., North-Holland, pp. 91–105, ISBN 0-444-86494-6
  • Fourman, Michael P.; Scedrov, Andre (1982), "The world's simplest axiom of choice fails", Manuscripta Mathematica, 38 (3): 325–332, doi:10.1007/BF01170929, hdl:2027.42/46645, S2CID 121944979
  • Fourman, Michael P. (1984), "Continuous truth I, non-constructive objects", in G. Lolli; G. Longo; A. Marcja (eds.), Proc. Logic Colloquium '82, Proceedings of the Colloquium, Florence, 23–28 August 1982, (Stud. Logic Found. Math. 112), Elsevier Science Publishers B.V., North-Holland, pp. 161–180, ISBN 0-444-86876-3

External links

Categories: