Michael Fourman
| Michael Paul Fourman | |
|---|---|
 |
|
| Born |
12 September 1950 Oxford, United Kingdom |
| Residence | Scotland, United Kingdom |
| Nationality | British |
| Fields | logician, computer scientist, mathematician |
| Institutions | University of Edinburgh |
| Alma mater | BSc. Bristol; MSc, DPhil. Oxford. |
| Doctoral advisor | (MSc) Robin Gandy (D.Phil.) Dana Scott |
Michael Paul Fourman FBCS (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–2009.
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.
Fourman received a 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 Connections between Category Theory and Logic under the supervision of Dana Scott at Oxford, defending his thesis in 1974.
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.
...
Wikipedia