Michael J. C. Gordon

Property	Value
rdf:type	Person educated at Bedales School Formal methods person Fellow of the Royal Society elected in 1994 owl:NamedIndividual 1948 birth 2017 death Alumnus of Gonville and Caius College, Cambridge Alumnus of the University of Edinburgh English computer scientist Member of the University of Cambridge Computer Laboratory Person from Ripon
rdfs:label	Michael J. C. Gordon
owl:sameAs	dbr:Michael_J._C._Gordon
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/2008_New_Year_Honours http://en.wikipedia.org/wiki/Category:People_educated_at_Bedales_School http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Members_of_the_University_of_Cambridge_Computer_Laboratory http://en.wikipedia.org/wiki/2017_in_the_United_Kingdom http://en.wikipedia.org/wiki/Category:1948_births http://en.wikipedia.org/wiki/Category:2017_deaths http://en.wikipedia.org/wiki/Category:Alumni_of_Gonville_and_Caius_College,_Cambridge http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:English_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year http://en.wikipedia.org/wiki/Deaths_in_August_2017 http://en.wikipedia.org/wiki/Endorsements_in_the_2016_United_Kingdom_European_Union_membership_referendum http://en.wikipedia.org/wiki/List_of_alumni_of_Gonville_and_Caius_College,_Cambridge http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences) http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year http://en.wikipedia.org/wiki/Bedales_School http://en.wikipedia.org/wiki/2014_Toronto_mayoral_election http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:People_from_Ripon http://en.wikipedia.org/wiki/Fenway_Sports_Group http://en.wikipedia.org/wiki/Gordon_Cummins http://en.wikipedia.org/wiki/August_22 http://en.wikipedia.org/wiki/Department_of_Computer_Science_and_Technology,_University_of_Cambridge http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_1994
skos:prefLabel	Michael J. C. Gordon
skos:altLabel	Mike Gordon Michael Gordon Michael J. C. Gordon#Life Michael John Caldwell Gordon
clgo:academicDiscipline	Computer science
clgo:almaMater	University of Edinburgh Gonville and Caius College, Cambridge
clgo:birthDate	1948-02-28
clgo:birthPlace	North Yorkshire Petersfield England Ripon Hampshire Yorkshire
clgo:birthYear	1948
clgo:citizenship	United Kingdom
clgo:deathDate	2017-08-22
clgo:deathPlace	England Cambridge
clgo:deathYear	2017
clgo:doctoralAdvisor	Rod Burstall
clgo:education	Bedales School
clgo:knownFor	HOL (proof assistant)
clgo:nationality	United Kingdom
is clgo:designer of	HOL (proof assistant)
is clgo:doctoralStudent of	Rod Burstall
is clgo:influencedBy of	Jonathan Bowen

About: clgr:Michael_J._C._Gordon