About: Michael Fourman   Goto Sponge  NotDistinct  Permalink

An Entity of Type : yago:WikicatLogicians, within Data Space : covidontheweb.inria.fr associated with source document(s)

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–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 .

AttributesValues
type
label
  • Michael Fourman
comment
  • 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–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 .
sameAs
name
  • Michael Paul Fourman
homepage
name
  • Michael Paul Fourman
topic
depiction
  • External Image
described by
dbo:doctoralAdvisor
dbp:almaMater
birth place
dbp:birthPlace
  • Oxford, United Kingdom
dbo:birthDate
Subject
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software