About: Michael Fourman

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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 .

thumbnail
Property Value
dbo:abstract
  • 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 . (en)
dbo:academicDiscipline
dbo:almaMater
dbo:birthDate
  • 1950-09-12 (xsd:date)
dbo:birthPlace
dbo:doctoralAdvisor
dbo:residence
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 5356861 (xsd:integer)
dbo:wikiPageLength
  • 6666 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1108309435 (xsd:integer)
dbo:wikiPageWikiLink
dbp:almaMater
dbp:birthDate
  • 1950-09-12 (xsd:date)
dbp:birthPlace
  • Oxford, United Kingdom (en)
dbp:doctoralAdvisor
dbp:field
  • logician, computer scientist, mathematician (en)
dbp:imageSize
  • 150 (xsd:integer)
dbp:name
  • Michael Paul Fourman (en)
dbp:nationality
  • British (en)
dbp:residence
  • Scotland, United Kingdom (en)
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dbp:workInstitution
dcterms:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs: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 . (en)
rdfs:label
  • Michael Fourman (en)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Michael Paul Fourman (en)
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License