| Birthplace
|
http://dbpedia.org/resource/Oxford +
|
| http://dbpedia.org/ontology/abstract
|
Michael Paul Fourman FBCS FRSE (born 12 Se … 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 .of assistants, categorical semantics and .
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Logician +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/University_of_Bristol +
|
| http://dbpedia.org/ontology/birthDate
|
"1950-09-12"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/Robin_Gandy +
|
| http://dbpedia.org/ontology/residence
|
http://dbpedia.org/resource/Scotland +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Michael_Fourman_July_2006.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://homepages.inf.ed.ac.uk/mfourman/ +
, http://homepages.inf.ed.ac.uk/mfourman/research/publications/biblio/fourman.html +
, http://www.fourman.dsl.pipex.com/ +
, http://www.blogger.com/profile/5758054 +
, http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
5356861
|
| http://dbpedia.org/ontology/wikiPageLength
|
6666
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1108309435
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/University_of_Sydney +
, http://dbpedia.org/resource/Utrecht_University +
, http://dbpedia.org/resource/Category:Columbia_University_faculty +
, http://dbpedia.org/resource/Cognitive_science +
, http://dbpedia.org/resource/Clark_University +
, http://dbpedia.org/resource/Wolfson_College%2C_Oxford +
, http://dbpedia.org/resource/Joseph_Ritt +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Scotland +
, http://dbpedia.org/resource/Informatics_%28academic_field%29 +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Oxford +
, http://dbpedia.org/resource/Category:Clark_University_faculty +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/University_of_Western_Australia +
, http://dbpedia.org/resource/Worcester%2C_Massachusetts +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society +
, http://dbpedia.org/resource/Hardware_design +
, http://dbpedia.org/resource/Categorical_semantics +
, http://dbpedia.org/resource/University_of_Edinburgh_School_of_Informatics +
, http://dbpedia.org/resource/Jon_Barwise +
, http://dbpedia.org/resource/Digital_system +
, http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/University_of_Paris +
, http://dbpedia.org/resource/FRSE +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/University_of_Bristol +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Category:Academics_of_Brunel_University_London +
, http://dbpedia.org/resource/System_design +
, http://dbpedia.org/resource/Brunel_University +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Bristol +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Standard_ML +
, http://dbpedia.org/resource/Category:1950_births +
, http://dbpedia.org/resource/Columbia_University +
, http://dbpedia.org/resource/Dana_Scott +
, http://dbpedia.org/resource/LAMBDA_system +
, http://dbpedia.org/resource/Propositional_planning +
, http://dbpedia.org/resource/Category:20th-century_British_mathematicians +
, http://dbpedia.org/resource/Category:21st-century_British_mathematicians +
, http://dbpedia.org/resource/Human_Communication_Research_Centre +
, http://dbpedia.org/resource/Mathematical_Logic +
, http://dbpedia.org/resource/Oxford +
, http://dbpedia.org/resource/McGill_University +
, http://dbpedia.org/resource/FBCS +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Science_and_Engineering_Research_Council +
, http://dbpedia.org/resource/Artificial_Intelligence_Applications_Institute +
, http://dbpedia.org/resource/Formal_model +
, http://dbpedia.org/resource/Robin_Gandy +
, http://dbpedia.org/resource/Category:British_bloggers +
, http://dbpedia.org/resource/Laboratory_for_Foundations_of_Computer_Science +
, http://dbpedia.org/resource/Category:British_logicians +
, http://dbpedia.org/resource/DPhil +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Proof_assistant +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Bristol +
, http://dbpedia.org/resource/University_of_Oxford +
|
| http://dbpedia.org/property/birthDate
|
"1950-09-12"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Oxford, United Kingdom
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Robin_Gandy +
, Dana Scott
|
| http://dbpedia.org/property/field
|
logician, computer scientist, mathematician
|
| http://dbpedia.org/property/imageSize
|
150
|
| http://dbpedia.org/property/name
|
Michael Paul Fourman
|
| http://dbpedia.org/property/nationality
|
British
|
| http://dbpedia.org/property/residence
|
Scotland, United Kingdom
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Multiple_issues +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Autobiography +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Inline +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:EngvarB +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Blpsources +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/University_of_Edinburgh +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Bristol +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Oxford +
, http://dbpedia.org/resource/Category:1950_births +
, http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society +
, http://dbpedia.org/resource/Category:20th-century_British_mathematicians +
, http://dbpedia.org/resource/Category:21st-century_British_mathematicians +
, http://dbpedia.org/resource/Category:British_bloggers +
, http://dbpedia.org/resource/Category:Columbia_University_faculty +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Category:Clark_University_faculty +
, http://dbpedia.org/resource/Category:Academics_of_Brunel_University_London +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:British_logicians +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/3036595 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Michael_Fourman?oldid=1108309435&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Michael_Fourman_July_2006.jpg +
|
| http://xmlns.com/foaf/0.1/homepage
|
http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Michael_Fourman +
|
| http://xmlns.com/foaf/0.1/name
|
Michael Paul Fourman
|
| owl:sameAs |
http://data.bibliotheken.nl/id/thes/p068683685 +
, http://ht.dbpedia.org/resource/Michael_Fourman +
, http://viaf.org/viaf/3036595 +
, https://global.dbpedia.org/id/4rZQP +
, https://dblp.org/pid/99/79 +
, http://dbpedia.org/resource/Michael_Fourman +
, http://yago-knowledge.org/resource/Michael_Fourman +
, http://rdf.freebase.com/ns/m.0dh5bz +
, http://www.wikidata.org/entity/Q6830387 +
, http://d-nb.info/gnd/1158154798 +
|
| rdf:type |
http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/WikicatBritishBloggers +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfBristol +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/Blogger109860415 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheBritishComputerSociety +
, http://dbpedia.org/class/yago/WikicatBritishComputerScientists +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfEdinburgh +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfBrunelUniversity +
, http://dbpedia.org/class/yago/WikicatBritishMathematicians +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q19088 +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfOxford +
, http://dbpedia.org/class/yago/Organism100004475 +
|
| rdfs:comment |
Michael Paul Fourman FBCS FRSE (born 12 Se … 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 .of assistants, categorical semantics and .
|
| rdfs:label |
Michael Fourman
|
