Michael Fourman
From Wikipedia, the free encyclopedia
| Born | September 12, 1950 Oxford |
|---|---|
| Residence | Scotland |
| Nationality | British |
| Field | logician, computer scientist, mathematician |
| Institution | University of Edinburgh |
| Alma mater | BSc. Bristol; MSc, DPhil. Oxford. |
| Academic advisor | (M.Sc.) Robin Gandy (D.Phil.) Dana Scott |
| Notable students | John Longley, Dilip Sequeira, Roger Sayle |
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems, and Head of the School of Informatics at the University of Edinburgh in Scotland, UK.
Fourman is interested 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.
Contents |
[edit] Qualifications
Fourman received his BSc in Mathematics with other subjects (Philosophy and Computer Science) 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 on Connections between Category Theory and Logic, under the supervision of Dana Scott at Oxford, defending his thesis in 1974.
[edit] 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-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 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 in Paris (1975), Utrecht (1977, 1980), Cambridge (1979-80), Sydney (1982), Montreal (1983), and Perth (1994).
[edit] Selected Bibliography
- Fourman, Michael P. (1977), "The logic of topoi", in Jon Barwise, Handbook of Mathematical Logic (Stud. Logic Found. Math. 90), Elsevier Science Publishers B.V., North-Holland, ISBN-13: 978-0-444-86388-1, ISBN-10: 0-444-86388-5
- Fourman, Michael P. & Dana S. Scott (1979), "Notes on sheaves and logic'", in M. P. Fourman, C. J. Mulvey, and Dana S. Scott, 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, ISBN-10: 0387095640 ISBN-13: 978-0387095646
- Fourman, Michael P. (1982), "Notions of choice sequence", in D. van Dalen and A. Troelstra, 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, ISBN: 0-444-86494-6
- Fourman, Michael P. & Andre Scedrov (1982), "The world's simplest axiom of choice fails", Manuscripta Mathematica 38(3): 325-332, DOI 10.1007/BF01170929
- Fourman, Michael P. (1984), "Continuous truth I, non-constructive objects", in G. Lolli, G. Longo, and A. Marcja, 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, ISBN: 0-444-86876-3
[edit] External links
Categories: 1950 births | Living people | 20th century mathematicians | British computer scientists | Fellows of the British Computer Society | Formal methods people | British bloggers | Alumni of the University of Oxford | Alumni of the University of Bristol | Columbia University faculty | Academics of Brunel University | Academics of the University of Edinburgh | British mathematicians | Logicians | Erdős number 3
