Michael Fourman
id:
michael-fourman-303-1012506
title:
Michael Fourman
text:
Michael Paul Fourman FBCS FRSE 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.
brand slug:
wiki
category slug:
encyclopedia
description:
Logician and computer scientist
original url:
https://en.wikipedia.org/wiki/Michael_Fourman
date created:
date modified:
2023-08-31T13:36:05Z
main entity:
{"identifier":"Q6830387","url":"https://www.wikidata.org/entity/Q6830387"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/en/0/00/Michael_Fourman_July_2006.jpg","width":432,"height":480}
fields total:
13
integrity:
15