About: Michael Fourman

Michael Paul Fourman, FBCS 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 interested 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.

Property	Value
dbpedia-owl:Person/almaMater	dbpedia:University_of_Oxford dbpedia:University_of_Bristol dbpedia:BSc dbpedia:MSc dbpedia:DPhil
dbpedia-owl:Person/birthDate	1950-09-12 (xsd:date)
dbpedia-owl:Person/birthPlace	dbpedia:Oxford
dbpedia-owl:Person/nationality	dbpedia:United_Kingdom
dbpedia-owl:Person/residence	dbpedia:Scotland
dbpedia-owl:Scientist/doctoralAdvisor	dbpedia:Dana_Scott dbpedia:Robin_Gandy
dbpedia-owl:Scientist/doctoralStudent	dbpedia:Chris_Walton dbpedia:Alvaro_Moreira dbpedia:Li-Guo_Wang dbpedia:Dilip_Sequeira dbpedia:Simon_Ambler dbpedia:John_Longley dbpedia:Roger_Sayle dbpedia:Roger_Hughes dbpedia:Michael_Mendler
dbpedia-owl:almaMater	dbpedia:University_of_Oxford dbpedia:University_of_Bristol dbpedia:BSc dbpedia:MSc dbpedia:DPhil
dbpedia-owl:birthDate	1950-09-12 (xsd:date)
dbpedia-owl:birthPlace	dbpedia:Oxford
dbpedia-owl:doctoralAdvisor	dbpedia:Dana_Scott dbpedia:Robin_Gandy
dbpedia-owl:doctoralStudent	dbpedia:Chris_Walton dbpedia:Alvaro_Moreira dbpedia:Li-Guo_Wang dbpedia:Dilip_Sequeira dbpedia:Simon_Ambler dbpedia:John_Longley dbpedia:Roger_Sayle dbpedia:Roger_Hughes dbpedia:Michael_Mendler
dbpedia-owl:nationality	dbpedia:United_Kingdom
dbpedia-owl:residence	dbpedia:Scotland
dbpedia-owl:thumbnail	http://upload.wikimedia.org/wikipedia/en/thumb/0/00/Michael_Fourman_July_2006.jpg/200px-Michael_Fourman_July_2006.jpg
dbpprop:abstract	Michael Paul Fourman, FBCS 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 interested 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.
dbpprop:almaMater	dbpedia:University_of_Oxford dbpedia:University_of_Bristol dbpedia:BSc dbpedia:MSc dbpedia:DPhil
dbpprop:birthDate	dbpedia:Michael_Fourman/birthDate/Birth_date_and_age
dbpprop:birthPlace	dbpedia:Oxford
dbpprop:chapter	Continuous truth I, non-constructive objects Notes on sheaves and logic' Notions of choice sequence The logic of topoi
dbpprop:display	title
dbpprop:doctoralAdvisor	dbpedia:Dana_Scott
dbpprop:doctoralStudents	dbpedia:Chris_Walton dbpedia:Alvaro_Moreira dbpedia:Li-Guo_Wang dbpedia:Dilip_Sequeira dbpedia:Simon_Ambler dbpedia:John_Longley dbpedia:Roger_Sayle dbpedia:Roger_Hughes dbpedia:Michael_Mendler
dbpprop:editor	D. van Dalen and A. Troelstra G. Lolli, G. Longo, and A. Marcja Jon Barwise M. P. Fourman, C. J. Mulvey, and Dana S. Scott
dbpprop:field	dbpedia:Mathematician dbpedia:Computer_scientist dbpedia:Logician
dbpprop:given	Andre Dana S. Michael P.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Michael_Fourman
dbpprop:id	DOI 10.1007/BF01170929 ISBN 0-444-86494-6 ISBN 0-444-86876-3 ISBN 0387095640 ISBN 978-0387095646 ISBN 978-0-444-86388-1, ISBN 0-444-86388-5
dbpprop:imageWidth	150px
dbpprop:issue	3 (xsd:integer)
dbpprop:journal	Manuscripta Mathematica
dbpprop:name	Michael Paul Fourman
dbpprop:nationality	dbpedia:United_Kingdom
dbpprop:pages	1053-1090 161-180 302-401 325-332 91-105
dbpprop:publisher	Elsevier Science Publishers B.V., North-Holland Springer-Verlag
dbpprop:reference	http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html http://www.blogger.com/profile/5758054 http://www.fourman.dsl.pipex.com/ http://homepages.inf.ed.ac.uk/mfourman/research/publications/biblio/fourman.html http://homepages.inf.ed.ac.uk/mfourman/
dbpprop:residence	dbpedia:Scotland
dbpprop:surname	Fourman Scedrov Scott
dbpprop:title	Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 (Lecture Notes in Mathematics Vol 753) Handbook of Mathematical Logic (Stud. Logic Found. Math. 90) L.E.J. Brouwer Centenary Symposium: Proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 (Stud. Logic Found. Math. 110) Proc. Logic Colloquium '82, Proceedings of the Colloquium, Florence, 23-28 August 1982, (Stud. Logic Found. Math. 112) The world's simplest axiom of choice fails
dbpprop:url	http://www.springerlink.com/content/r1r6u386t627436g/fulltext.pdf
dbpprop:volume	38 (xsd:integer)
dbpprop:wikiPageUsesTemplate	dbpedia:Template:coord dbpedia:Template:harvard_reference dbpedia:Template:infobox_scientist
dbpprop:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1
dbpprop:workInstitution	dbpedia:University_of_Edinburgh
dbpprop:year	1977 (xsd:integer) 1979 (xsd:integer) 1982 (xsd:integer) 1984 (xsd:integer)
georss:point	55.945 -3.1869444444444
rdf:type	owl:Thing http://dbpedia.org/class/yago/20thCenturyMathematicians http://dbpedia.org/class/yago/AlumniOfTheUniversityOfBristol dbpedia-owl:Person http://dbpedia.org/class/yago/Scientist110560637 http://dbpedia.org/class/yago/BritishMathematicians http://dbpedia.org/class/yago/AcademicsOfTheUniversityOfEdinburgh dbpedia-owl:Scientist http://dbpedia.org/class/yago/FormalMethodsPeople http://dbpedia.org/class/yago/Logicians http://dbpedia.org/class/yago/AlumniOfTheUniversityOfOxford http://dbpedia.org/class/yago/AcademicsOfBrunelUniversity http://dbpedia.org/class/yago/LivingPeople http://dbpedia.org/class/yago/BritishBloggers http://dbpedia.org/class/yago/BritishComputerScientists http://dbpedia.org/class/yago/FellowsOfTheBritishComputerSociety
rdfs:comment	Michael Paul Fourman, FBCS 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 interested 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.
rdfs:label	Michael Fourman
owl:sameAs	http://umbel.org/umbel/ne/wikipedia/Michael_Fourman freebase:Michael Fourman
geo:lat	55.945000 (xsd:float)
geo:long	-3.186944 (xsd:float)
skos:subject	dbpedia:Category:20th-century_mathematicians dbpedia:Category:Alumni_of_the_University_of_Bristol dbpedia:Category:Alumni_of_the_University_of_Oxford dbpedia:Category:British_bloggers dbpedia:Category:British_computer_scientists dbpedia:Category:Academics_of_Brunel_University dbpedia:Category:Fellows_of_the_British_Computer_Society dbpedia:Category:1950_births dbpedia:Category:British_mathematicians dbpedia:Category:Living_people dbpedia:Category:Academics_of_the_University_of_Edinburgh dbpedia:Category:Columbia_University_faculty dbpedia:Category:Formal_methods_people dbpedia:Category:Logicians
foaf:depiction	http://upload.wikimedia.org/wikipedia/en/0/00/Michael_Fourman_July_2006.jpg
foaf:homepage	http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html
foaf:name	Michael Paul Fourman
foaf:page	http://en.wikipedia.org/wiki/Michael_Fourman
is dbpprop:redirect of	dbpedia:Michael_Paul_Fourman
is owl:sameAs of	yago:Michael Fourman