Matches in DBpedia 2014 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 Bachelor_of_Science.
- Michael_Fourman almaMater Doctor_of_Philosophy.
- Michael_Fourman almaMater Master_of_Science.
- Michael_Fourman birthDate "1950-09-12".
- Michael_Fourman birthPlace Oxford.
- Michael_Fourman birthPlace United_Kingdom.
- Michael_Fourman birthYear "1950".
- Michael_Fourman doctoralAdvisor Dana_Scott.
- Michael_Fourman doctoralAdvisor Robin_Gandy.
- Michael_Fourman doctoralStudent Alvaro_Moreira.
- Michael_Fourman doctoralStudent Chris_Walton_(computer_scientist).
- Michael_Fourman doctoralStudent Dilip_Sequeira.
- Michael_Fourman doctoralStudent John_Longley_(computer_scientist).
- Michael_Fourman doctoralStudent Li-Guo_Wang.
- Michael_Fourman doctoralStudent Michael_Mendler.
- Michael_Fourman doctoralStudent Roger_Hughes_(computer_scientist).
- Michael_Fourman doctoralStudent Roger_Sayle.
- Michael_Fourman doctoralStudent Simon_Ambler.
- Michael_Fourman field Computer_scientist.
- Michael_Fourman field Logic.
- Michael_Fourman field Mathematician.
- Michael_Fourman nationality United_Kingdom.
- Michael_Fourman residence Scotland.
- Michael_Fourman residence United_Kingdom.
- Michael_Fourman thumbnail Michael_Fourman_July_2006.jpg?width=300.
- Michael_Fourman viafId "3036595".
- 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 wikiPageRevisionID "595314475".
- Michael_Fourman almaMater Bachelor_of_Science.
- Michael_Fourman almaMater Doctor_of_Philosophy.
- Michael_Fourman almaMater Master_of_Science.
- Michael_Fourman almaMater University_of_Bristol.
- Michael_Fourman almaMater University_of_Oxford.
- Michael_Fourman birthDate "1950-09-12".
- Michael_Fourman birthPlace Oxford.
- Michael_Fourman birthPlace United_Kingdom.
- Michael_Fourman dateOfBirth "1950-09-12".
- Michael_Fourman doctoralAdvisor "Dana Scott".
- Michael_Fourman doctoralAdvisor "Robin Gandy".
- Michael_Fourman doctoralStudents Alvaro_Moreira.
- Michael_Fourman doctoralStudents Chris_Walton_(computer_scientist).
- Michael_Fourman doctoralStudents Dilip_Sequeira.
- Michael_Fourman doctoralStudents John_Longley_(computer_scientist).
- Michael_Fourman doctoralStudents Li-Guo_Wang.
- Michael_Fourman doctoralStudents Michael_Mendler.
- Michael_Fourman doctoralStudents Roger_Hughes_(computer_scientist).
- Michael_Fourman doctoralStudents Roger_Sayle.
- Michael_Fourman doctoralStudents Simon_Ambler.
- Michael_Fourman field Computer_scientist.
- Michael_Fourman field Logic.
- Michael_Fourman field Mathematician.
- Michael_Fourman hasPhotoCollection Michael_Fourman.
- Michael_Fourman imageSize "150".
- Michael_Fourman name "Fourman, Michael Paul".
- Michael_Fourman name "Michael Paul Fourman".
- Michael_Fourman nationality United_Kingdom.
- Michael_Fourman placeOfBirth Oxford.
- Michael_Fourman placeOfBirth United_Kingdom.
- Michael_Fourman residence Scotland.
- Michael_Fourman residence United_Kingdom.
- Michael_Fourman shortDescription "British mathematician and computer scientist".
- Michael_Fourman wordnet_type synset-scientist-noun-1.
- Michael_Fourman workInstitution University_of_Edinburgh.
- Michael_Fourman description "British mathematician and computer scientist".
- Michael_Fourman description "British mathematician and computer scientist".
- Michael_Fourman subject Category:1950_births.
- Michael_Fourman subject Category:20th-century_mathematicians.
- Michael_Fourman subject Category:Academics_of_Brunel_University.
- Michael_Fourman subject Category:Academics_of_the_University_of_Edinburgh.
- Michael_Fourman subject Category:Alumni_of_the_University_of_Bristol.
- Michael_Fourman subject Category:Alumni_of_the_University_of_Oxford.
- Michael_Fourman subject Category:British_bloggers.
- Michael_Fourman subject Category:British_computer_scientists.
- Michael_Fourman subject Category:British_mathematicians.
- Michael_Fourman subject Category:Columbia_University_faculty.
- Michael_Fourman subject Category:Fellows_of_the_British_Computer_Society.
- Michael_Fourman subject Category:Formal_methods_people.
- Michael_Fourman subject Category:Living_people.
- Michael_Fourman subject Category:Logicians.
- Michael_Fourman point "55.945 -3.1869444444444444".
- Michael_Fourman type 20th-centuryMathematicians.
- Michael_Fourman type Academician109759069.
- Michael_Fourman type AcademicsOfBrunelUniversity.
- Michael_Fourman type AcademicsOfTheUniversityOfEdinburgh.
- Michael_Fourman type Adult109605289.
- Michael_Fourman type AlumniOfTheUniversityOfBristol.
- Michael_Fourman type AlumniOfTheUniversityOfOxford.
- Michael_Fourman type Alumnus109786338.
- Michael_Fourman type Associate109816771.
- Michael_Fourman type Blogger109860415.
- Michael_Fourman type BritishBloggers.
- Michael_Fourman type BritishComputerScientists.
- Michael_Fourman type BritishMathematicians.