About: Michael Fourman

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

British mathematician and computer scientist

Property	Value
dbo:academicDiscipline	dbr:Logician dbr:Computer_scientist
dbo:almaMater	dbr:University_of_Bristol dbr:University_of_Oxford
dbo:birthDate	1950-09-12 (xsd:date)
dbo:birthPlace	dbr:Oxford
dbo:description	wiskundige (nl) British mathematician and computer scientist (en) matamaiticeoir agus ríomheolaí Briotanach (ga)
dbo:doctoralAdvisor	dbr:Robin_Gandy dbr:Dana_Scott
dbo:thumbnail	wiki-commons:Special:FilePath/Michael_Fourman_July_2006.jpg?width=300
dbo:wikiPageExternalLink	http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html http://www.fourman.dsl.pipex.com/ http://homepages.inf.ed.ac.uk/mfourman/ http://homepages.inf.ed.ac.uk/mfourman/research/publications/biblio/fourman.html http://www.blogger.com/profile/5758054
dbo:wikiPageWikiLink	dbc:Academics_of_Brunel_University_London dbc:Alumni_of_the_University_of_Bristol dbc:Alumni_of_the_University_of_Oxford dbc:21st-century_British_mathematicians dbr:University_of_Bristol dbr:Jon_Barwise dbc:20th-century_British_mathematicians dbr:Robin_Gandy dbr:Columbia_University dbr:Worcester,_Massachusetts dbr:Dana_Scott dbr:Standard_ML dbr:Artificial_intelligence dbc:British_bloggers dbc:British_computer_scientists dbc:British_logicians dbc:Clark_University_faculty dbr:University_of_Cambridge dbr:University_of_Oxford dbr:Proof_assistant dbr:McGill_University dbr:University_of_Sydney dbr:Clark_University dbc:1950_births dbc:Columbia_University_faculty dbc:Fellows_of_the_British_Computer_Society dbc:Living_people dbr:Logic dbr:Scotland dbc:Academics_of_the_University_of_Edinburgh dbc:Formal_methods_people dbr:Cognitive_science dbr:Logician dbr:Laboratory_for_Foundations_of_Computer_Science dbr:Computer_science dbr:Computer_scientist dbr:University_of_Edinburgh dbr:Wolfson_College,_Oxford dbr:Utrecht_University dbr:Joseph_Ritt dbr:FBCS dbr:University_of_Western_Australia dbr:Science_and_Engineering_Research_Council dbr:Mathematical_Logic dbr:Oxford dbr:University_of_Paris dbr:Artificial_Intelligence_Applications_Institute dbr:DPhil dbr:System_design dbr:FRSE dbr:Informatics_(academic_field) dbr:Brunel_University dbr:University_of_Edinburgh_School_of_Informatics dbr:Hardware_design dbr:Formal_model dbr:Digital_system dbr:Categorical_semantics dbr:Human_Communication_Research_Centre dbr:LAMBDA_system dbr:Propositional_planning
dbp:almaMater	dbr:University_of_Bristol dbr:University_of_Oxford
dbp:birthDate	1950-09-12 (xsd:date)
dbp:birthPlace	Oxford, United Kingdom (en)
dbp:doctoralAdvisor	dbr:Robin_Gandy Dana Scott (en)
dbp:field	logician, computer scientist, mathematician (en)
dbp:imageSize	150 (xsd:integer)
dbp:name	Michael Paul Fourman (en)
dbp:nationality	British (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Multiple_issues dbt:No_footnotes dbt:Citation dbt:Use_dmy_dates dbt:Autobiography dbt:BLP_sources dbt:EngvarB dbt:Short_description
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1
dbp:workInstitution	dbr:University_of_Edinburgh
dct:subject	dbc:Academics_of_Brunel_University_London dbc:Alumni_of_the_University_of_Bristol dbc:Alumni_of_the_University_of_Oxford dbc:21st-century_British_mathematicians dbc:20th-century_British_mathematicians dbc:British_bloggers dbc:British_computer_scientists dbc:British_logicians dbc:Clark_University_faculty dbc:1950_births dbc:Columbia_University_faculty dbc:Fellows_of_the_British_Computer_Society dbc:Living_people dbc:Academics_of_the_University_of_Edinburgh dbc:Formal_methods_people
gold:hypernym	dbr:Professor
schema:sameAs	http://viaf.org/viaf/3036595
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Scientist dbo:Species schema:Person umbel-rc:Scientist
rdfs:label	Michael Fourman (en)
owl:sameAs	http://viaf.org/viaf/3036595 freebase:Michael Fourman yago-res:Michael Fourman wikidata:Michael Fourman http://d-nb.info/gnd/1158154798 https://dblp.org/pid/99/79 dbpedia-ht:Michael Fourman http://data.bibliotheken.nl/id/thes/p068683685 dbpedia-global:Michael Fourman dbr:Michael Fourman
prov:wasDerivedFrom	wikipedia-en:Michael_Fourman?oldid=1246221802&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Michael_Fourman_July_2006.jpg
foaf:homepage	http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html
foaf:isPrimaryTopicOf	wikipedia-en:Michael_Fourman
foaf:name	Michael Paul Fourman (en)
is dbo:doctoralStudent of	dbr:Dana_Scott
is dbo:wikiPageDisambiguates of	dbr:Fourman
is dbo:wikiPageRedirects of	dbr:Michael_Paul_Fourman dbr:Fourman,_Michael
is dbo:wikiPageWikiLink of	dbr:Dana_Scott dbr:Index_of_philosophy_articles_(I–Q) dbr:School_of_Informatics,_University_of_Edinburgh dbr:List_of_logicians dbr:List_of_University_of_Edinburgh_people dbr:Open_Rights_Group dbr:Fourman dbr:Michael_Paul_Fourman dbr:Fourman,_Michael
is foaf:primaryTopic of	wikipedia-en:Michael_Fourman