Age, Biography and Wiki
Michael Fourman was born on 12 September, 1950 in Oxford, United Kingdom, is a Logician and computer scientist. Discover Michael Fourman's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 73 years old?
| Popular As |
N/A |
| Occupation |
N/A |
| Age |
73 years old |
| Zodiac Sign |
Virgo |
| Born |
12 September, 1950 |
| Birthday |
12 September |
| Birthplace |
Oxford, United Kingdom |
| Nationality |
United Kingdom
|
We recommend you to check the complete list of Famous People born on 12 September.
He is a member of famous computer with the age 73 years old group.
Michael Fourman Height, Weight & Measurements
At 73 years old, Michael Fourman height not available right now. We will update Michael Fourman's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.
| Physical Status |
| Height |
Not Available |
| Weight |
Not Available |
| Body Measurements |
Not Available |
| Eye Color |
Not Available |
| Hair Color |
Not Available |
Dating & Relationship status
He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.
| Family |
| Parents |
Not Available |
| Wife |
Not Available |
| Sibling |
Not Available |
| Children |
Not Available |
Michael Fourman Net Worth
His net worth has been growing significantly in 2023-2024. So, how much is Michael Fourman worth at the age of 73 years old? Michael Fourman’s income source is mostly from being a successful computer. He is from United Kingdom. We have estimated Michael Fourman's net worth, money, salary, income, and assets.
| Net Worth in 2024 |
$1 Million - $5 Million |
| Salary in 2024 |
Under Review |
| Net Worth in 2023 |
Pending |
| Salary in 2023 |
Under Review |
| House |
Not Available |
| Cars |
Not Available |
| Source of Income |
computer |
Michael Fourman Social Network
Timeline
Michael Paul Fourman FBCS FRSE (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.
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.
He has held visiting positions at universities in Paris (1975), Utrecht (1977, 1980), Cambridge (1979–80), Sydney (1982), Montreal (1983), and Perth (1994).
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.
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.
He left the company in 1997.
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.
