Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Michael_Spivey> ?p ?o }
- Michael_Spivey abstract "John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England. He studied mathematics at Christ's College, Cambridge and then undertook a DPhil in computer science on the Z notation at Wolfson College, Oxford and the Programming Research Group, part of the Oxford University Computing Laboratory.Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.".
- Michael_Spivey birthDate "1960".
- Michael_Spivey birthPlace England.
- Michael_Spivey birthYear "1960".
- Michael_Spivey country United_Kingdom.
- Michael_Spivey wikiPageExternalLink zrm.
- Michael_Spivey wikiPageExternalLink mike.
- Michael_Spivey wikiPageExternalLink logic.
- Michael_Spivey wikiPageExternalLink 9780521054140.
- Michael_Spivey wikiPageExternalLink michael.spivey.
- Michael_Spivey wikiPageID "11704554".
- Michael_Spivey wikiPageLength "2956".
- Michael_Spivey wikiPageOutDegree "33".
- Michael_Spivey wikiPageRevisionID "664547860".
- Michael_Spivey wikiPageWikiLink Archbishop_Holgates_School.
- Michael_Spivey wikiPageWikiLink Cambridge_University_Press.
- Michael_Spivey wikiPageWikiLink Category:1960_births.
- Michael_Spivey wikiPageWikiLink Category:Alumni_of_Christs_College,_Cambridge.
- Michael_Spivey wikiPageWikiLink Category:Alumni_of_Wolfson_College,_Oxford.
- Michael_Spivey wikiPageWikiLink Category:Computer_science_writers.
- Michael_Spivey wikiPageWikiLink Category:English_computer_scientists.
- Michael_Spivey wikiPageWikiLink Category:Fellows_of_Oriel_College,_Oxford.
- Michael_Spivey wikiPageWikiLink Category:Formal_methods_people.
- Michael_Spivey wikiPageWikiLink Category:Living_people.
- Michael_Spivey wikiPageWikiLink Category:Logic_programming_researchers.
- Michael_Spivey wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Michael_Spivey wikiPageWikiLink Category:People_educated_at_Archbishop_Holgates_School.
- Michael_Spivey wikiPageWikiLink Category:Programming_language_researchers.
- Michael_Spivey wikiPageWikiLink Category:Z_notation.
- Michael_Spivey wikiPageWikiLink Christs_College,_Cambridge.
- Michael_Spivey wikiPageWikiLink Compiler.
- Michael_Spivey wikiPageWikiLink Computer_science.
- Michael_Spivey wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Michael_Spivey wikiPageWikiLink Doctor_of_Philosophy.
- Michael_Spivey wikiPageWikiLink England.
- Michael_Spivey wikiPageWikiLink Fellow.
- Michael_Spivey wikiPageWikiLink Logic_programming.
- Michael_Spivey wikiPageWikiLink Mathematics.
- Michael_Spivey wikiPageWikiLink Oberon-2_(programming_language).
- Michael_Spivey wikiPageWikiLink Oriel_College,_Oxford.
- Michael_Spivey wikiPageWikiLink Prentice_Hall.
- Michael_Spivey wikiPageWikiLink Programming_Research_Group.
- Michael_Spivey wikiPageWikiLink Programming_language.
- Michael_Spivey wikiPageWikiLink University_of_Oxford.
- Michael_Spivey wikiPageWikiLink Wolfson_College,_Oxford.
- Michael_Spivey wikiPageWikiLink York.
- Michael_Spivey wikiPageWikiLink Z_notation.
- Michael_Spivey wikiPageWikiLinkText "Michael Spivey".
- Michael_Spivey dateOfBirth "1960".
- Michael_Spivey name "Spivey, Mike".
- Michael_Spivey placeOfBirth England.
- Michael_Spivey shortDescription "Computer scientist".
- Michael_Spivey wikiPageUsesTemplate Template:Authority_control.
- Michael_Spivey wikiPageUsesTemplate Template:DBLP.
- Michael_Spivey wikiPageUsesTemplate Template:For.
- Michael_Spivey wikiPageUsesTemplate Template:Persondata.
- Michael_Spivey wikiPageUsesTemplate Template:Reflist.
- Michael_Spivey wikiPageUsesTemplate Template:UK-academic-bio-stub.
- Michael_Spivey wikiPageUsesTemplate Template:UK-compu-bio-stub.
- Michael_Spivey description "Computer scientist".
- Michael_Spivey description "Computer scientist".
- Michael_Spivey subject Category:1960_births.
- Michael_Spivey subject Category:Alumni_of_Christs_College,_Cambridge.
- Michael_Spivey subject Category:Alumni_of_Wolfson_College,_Oxford.
- Michael_Spivey subject Category:Computer_science_writers.
- Michael_Spivey subject Category:English_computer_scientists.
- Michael_Spivey subject Category:Fellows_of_Oriel_College,_Oxford.
- Michael_Spivey subject Category:Formal_methods_people.
- Michael_Spivey subject Category:Living_people.
- Michael_Spivey subject Category:Logic_programming_researchers.
- Michael_Spivey subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Michael_Spivey subject Category:People_educated_at_Archbishop_Holgates_School.
- Michael_Spivey subject Category:Programming_language_researchers.
- Michael_Spivey subject Category:Z_notation.
- Michael_Spivey hypernym Scientist.
- Michael_Spivey type Agent.
- Michael_Spivey type Language.
- Michael_Spivey type List.
- Michael_Spivey type Person.
- Michael_Spivey type Scientist.
- Michael_Spivey type Writer.
- Michael_Spivey type Person.
- Michael_Spivey type Designer.
- Michael_Spivey type Language.
- Michael_Spivey type List.
- Michael_Spivey type Member.
- Michael_Spivey type Method.
- Michael_Spivey type Scientist.
- Michael_Spivey type Writer.
- Michael_Spivey type Agent.
- Michael_Spivey type NaturalPerson.
- Michael_Spivey type Thing.
- Michael_Spivey type Q215627.
- Michael_Spivey type Q5.
- Michael_Spivey type Person.
- Michael_Spivey comment "John Michael Spivey (commonly known as Mike Spivey) is a British computer scientist at the University of Oxford.Spivey was born in 1960 and educated at Archbishop Holgate's Grammar School in York, England.".
- Michael_Spivey label "Michael Spivey".
- Michael_Spivey sameAs Q14946959.
- Michael_Spivey sameAs m.02rpk7d.
- Michael_Spivey sameAs Q14946959.