Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Michael_Fourman> ?p ?o }
- Michael_Fourman abstract "Michael Paul Fourman FBCS (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 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.".
- Michael_Fourman almaMater Doctor_of_Philosophy.
- Michael_Fourman almaMater University_of_Bristol.
- Michael_Fourman birthDate "1950-09-12".
- Michael_Fourman birthPlace Oxford.
- Michael_Fourman doctoralAdvisor Dana_Scott.
- Michael_Fourman doctoralAdvisor Robin_Gandy.
- Michael_Fourman field Computer_scientist.
- Michael_Fourman field Logic.
- Michael_Fourman residence Scotland.
- Michael_Fourman thumbnail Michael_Fourman_July_2006.jpg?width=300.
- Michael_Fourman wikiPageExternalLink mfourman.
- Michael_Fourman wikiPageExternalLink fourman.html.
- Michael_Fourman wikiPageExternalLink 5758054.
- Michael_Fourman wikiPageExternalLink www.fourman.dsl.pipex.com.
- Michael_Fourman wikiPageExternalLink Michael_Fourman.html.
- Michael_Fourman wikiPageExternalLink fulltext.pdf.
- Michael_Fourman wikiPageID "5356861".
- Michael_Fourman wikiPageLength "6677".
- Michael_Fourman wikiPageOutDegree "65".
- Michael_Fourman wikiPageRevisionID "707835996".
- Michael_Fourman wikiPageWikiLink Artificial_Intelligence_Applications_Institute.
- Michael_Fourman wikiPageWikiLink Artificial_intelligence.
- Michael_Fourman wikiPageWikiLink Brunel_University_London.
- Michael_Fourman wikiPageWikiLink Categorical_logic.
- Michael_Fourman wikiPageWikiLink Category:1950_births.
- Michael_Fourman wikiPageWikiLink Category:20th-century_British_mathematicians.
- Michael_Fourman wikiPageWikiLink Category:21st-century_British_mathematicians.
- Michael_Fourman wikiPageWikiLink Category:Academics_of_Brunel_University.
- Michael_Fourman wikiPageWikiLink Category:Academics_of_the_University_of_Edinburgh.
- Michael_Fourman wikiPageWikiLink Category:Alumni_of_the_University_of_Bristol.
- Michael_Fourman wikiPageWikiLink Category:Alumni_of_the_University_of_Oxford.
- Michael_Fourman wikiPageWikiLink Category:British_bloggers.
- Michael_Fourman wikiPageWikiLink Category:British_computer_scientists.
- Michael_Fourman wikiPageWikiLink Category:Clark_University_faculty.
- Michael_Fourman wikiPageWikiLink Category:Columbia_University_faculty.
- Michael_Fourman wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Michael_Fourman wikiPageWikiLink Category:Formal_methods_people.
- Michael_Fourman wikiPageWikiLink Category:Living_people.
- Michael_Fourman wikiPageWikiLink Category:Logicians.
- Michael_Fourman wikiPageWikiLink Clark_University.
- Michael_Fourman wikiPageWikiLink Cognitive_science.
- Michael_Fourman wikiPageWikiLink Columbia_University.
- Michael_Fourman wikiPageWikiLink Computer_science.
- Michael_Fourman wikiPageWikiLink Computer_scientist.
- Michael_Fourman wikiPageWikiLink Dana_Scott.
- Michael_Fourman wikiPageWikiLink Digital_electronics.
- Michael_Fourman wikiPageWikiLink Doctor_of_Philosophy.
- Michael_Fourman wikiPageWikiLink FBCS.
- Michael_Fourman wikiPageWikiLink Formal_language.
- Michael_Fourman wikiPageWikiLink Human_Communication_Research_Centre.
- Michael_Fourman wikiPageWikiLink Informatics.
- Michael_Fourman wikiPageWikiLink Joseph_Ritt.
- Michael_Fourman wikiPageWikiLink LAMBDA_system.
- Michael_Fourman wikiPageWikiLink Laboratory_for_Foundations_of_Computer_Science.
- Michael_Fourman wikiPageWikiLink Logic.
- Michael_Fourman wikiPageWikiLink Mathematical_logic.
- Michael_Fourman wikiPageWikiLink McGill_University.
- Michael_Fourman wikiPageWikiLink Oxford.
- Michael_Fourman wikiPageWikiLink Processor_design.
- Michael_Fourman wikiPageWikiLink Proof_assistant.
- Michael_Fourman wikiPageWikiLink Propositional_planning.
- Michael_Fourman wikiPageWikiLink Robin_Gandy.
- Michael_Fourman wikiPageWikiLink Science_and_Engineering_Research_Council.
- Michael_Fourman wikiPageWikiLink Scotland.
- Michael_Fourman wikiPageWikiLink Standard_ML.
- Michael_Fourman wikiPageWikiLink Systems_design.
- Michael_Fourman wikiPageWikiLink University_of_Bristol.
- Michael_Fourman wikiPageWikiLink University_of_Cambridge.
- Michael_Fourman wikiPageWikiLink University_of_Edinburgh.
- Michael_Fourman wikiPageWikiLink University_of_Edinburgh_School_of_Informatics.
- Michael_Fourman wikiPageWikiLink University_of_Oxford.
- Michael_Fourman wikiPageWikiLink University_of_Paris.
- Michael_Fourman wikiPageWikiLink University_of_Sydney.
- Michael_Fourman wikiPageWikiLink University_of_Western_Australia.
- Michael_Fourman wikiPageWikiLink Utrecht_University.
- Michael_Fourman wikiPageWikiLink Wolfson_College,_Oxford.
- Michael_Fourman wikiPageWikiLink Worcester,_Massachusetts.
- Michael_Fourman wikiPageWikiLinkText "Fourman, Michael".
- Michael_Fourman wikiPageWikiLinkText "Michael Fourman".
- Michael_Fourman almaMater "BSc. Bristol; MSc, DPhil. Oxford.".
- Michael_Fourman birthDate "1950-09-12".
- Michael_Fourman birthPlace "Oxford, United Kingdom".
- Michael_Fourman doctoralAdvisor "Dana Scott".
- Michael_Fourman doctoralAdvisor "Robin Gandy".
- Michael_Fourman field "logician, computer scientist, mathematician".
- Michael_Fourman imageSize "150".
- Michael_Fourman name "Michael Paul Fourman".
- Michael_Fourman nationality "British".
- Michael_Fourman residence "Scotland, United Kingdom".
- Michael_Fourman wikiPageUsesTemplate Template:Authority_control.
- Michael_Fourman wikiPageUsesTemplate Template:Autobiography.
- Michael_Fourman wikiPageUsesTemplate Template:Birth_date_and_age.
- Michael_Fourman wikiPageUsesTemplate Template:Citation.
- Michael_Fourman wikiPageUsesTemplate Template:Coord.
- Michael_Fourman wikiPageUsesTemplate Template:EngvarB.
- Michael_Fourman wikiPageUsesTemplate Template:Infobox_scientist.
- Michael_Fourman wikiPageUsesTemplate Template:Use_dmy_dates.
- Michael_Fourman workInstitution University_of_Edinburgh.
- Michael_Fourman subject Category:1950_births.