Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Michael_J._C._Gordon> ?p ?o. }
- Michael_J._C._Gordon abstract "Michael John Caldwell "Mike" Gordon FRS (born February 28, 1948) is a British computer scientist.Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. There has been a series of international conferences on the HOL system, TPHOLs. The first three were informal users' meetings with no published proceedings. The tradition now is for an annual conference in a continent different from the location of the previous meeting. From 1996, the scope broadened to cover all theorem proving in higher-order logics.Gordon was born in Ripon, Yorkshire, England. He gained his Ph.D. at University of Edinburgh in 1973 with a thesis entitled Evaluation and Denotation of Pure LISP Programs. He has worked at the Cambridge University Computer Laboratory since 1981, initially as a Lecturer and moving to Reader in 1988 and Professor in 1996. He was elected a Fellow of the Royal Society in 1994, and in 2008 a two-day research meeting on Tools and Techniques for Verification of System Infrastructure was held there in honour of his 60th birthday.".
- Michael_J._C._Gordon alias "ordon, Mike".
- Michael_J._C._Gordon almaMater University_of_Edinburgh.
- Michael_J._C._Gordon birthDate "1948-02-28".
- Michael_J._C._Gordon birthPlace England.
- Michael_J._C._Gordon birthPlace Ripon.
- Michael_J._C._Gordon birthPlace Yorkshire.
- Michael_J._C._Gordon birthYear "1948".
- Michael_J._C._Gordon citizenship United_Kingdom.
- Michael_J._C._Gordon field Computer_science.
- Michael_J._C._Gordon knownFor HOL_(proof_assistant).
- Michael_J._C._Gordon lccnId "n/79/60869".
- Michael_J._C._Gordon nationality United_Kingdom.
- Michael_J._C._Gordon residence Cambridgeshire.
- Michael_J._C._Gordon thumbnail ProfessorMichaelJCGordon.jpg?width=300.
- Michael_J._C._Gordon viafId "93782851".
- Michael_J._C._Gordon wikiPageExternalLink mjcg.
- Michael_J._C._Gordon wikiPageID "2669026".
- Michael_J._C._Gordon wikiPageRevisionID "593284810".
- Michael_J._C._Gordon almaMater University_of_Edinburgh.
- Michael_J._C._Gordon alternativeNames "ordon, Mike".
- Michael_J._C._Gordon birthDate "1948-02-28".
- Michael_J._C._Gordon birthPlace England.
- Michael_J._C._Gordon birthPlace Ripon.
- Michael_J._C._Gordon birthPlace Yorkshire.
- Michael_J._C._Gordon citizenship United_Kingdom.
- Michael_J._C._Gordon dateOfBirth "1948-02-28".
- Michael_J._C._Gordon field Computer_science.
- Michael_J._C._Gordon hasPhotoCollection Michael_J._C._Gordon.
- Michael_J._C._Gordon imageSize "200".
- Michael_J._C._Gordon knownFor HOL_(proof_assistant).
- Michael_J._C._Gordon lccn "n/79/60869".
- Michael_J._C._Gordon name "Gordon, Michael J. C.".
- Michael_J._C._Gordon name "Michael J. C. Gordon".
- Michael_J._C._Gordon nationality United_Kingdom.
- Michael_J._C._Gordon placeOfBirth England.
- Michael_J._C._Gordon placeOfBirth Ripon.
- Michael_J._C._Gordon placeOfBirth Yorkshire.
- Michael_J._C._Gordon residence Cambridgeshire.
- Michael_J._C._Gordon shortDescription "Computer scientist".
- Michael_J._C._Gordon viaf "93782851".
- Michael_J._C._Gordon wordnet_type synset-scientist-noun-1.
- Michael_J._C._Gordon workInstitution University_of_Cambridge.
- Michael_J._C._Gordon description "Computer scientist".
- Michael_J._C._Gordon description "Computer scientist".
- Michael_J._C._Gordon subject Category:1948_births.
- Michael_J._C._Gordon subject Category:Alumni_of_Gonville_and_Caius_College,_Cambridge.
- Michael_J._C._Gordon subject Category:Alumni_of_the_University_of_Edinburgh.
- Michael_J._C._Gordon subject Category:English_computer_scientists.
- Michael_J._C._Gordon subject Category:Fellows_of_the_Royal_Society.
- Michael_J._C._Gordon subject Category:Formal_methods_people.
- Michael_J._C._Gordon subject Category:Living_people.
- Michael_J._C._Gordon subject Category:Members_of_the_University_of_Cambridge_Computer_Laboratory.
- Michael_J._C._Gordon subject Category:People_from_Ripon.
- Michael_J._C._Gordon type AlumniOfGonvilleAndCaiusCollege,Cambridge.
- Michael_J._C._Gordon type AlumniOfTheUniversityOfEdinburgh.
- Michael_J._C._Gordon type Alumnus109786338.
- Michael_J._C._Gordon type Associate109816771.
- Michael_J._C._Gordon type BritishComputerScientists.
- Michael_J._C._Gordon type CausalAgent100007347.
- Michael_J._C._Gordon type Colleague109935990.
- Michael_J._C._Gordon type ComputerScientist109951070.
- Michael_J._C._Gordon type ComputerUser109951274.
- Michael_J._C._Gordon type FellowsOfTheRoyalSociety.
- Michael_J._C._Gordon type FormalMethodsPeople.
- Michael_J._C._Gordon type Intellectual109621545.
- Michael_J._C._Gordon type LivingPeople.
- Michael_J._C._Gordon type LivingThing100004258.
- Michael_J._C._Gordon type Object100002684.
- Michael_J._C._Gordon type Organism100004475.
- Michael_J._C._Gordon type Peer109626238.
- Michael_J._C._Gordon type PeopleFromRipon.
- Michael_J._C._Gordon type Person100007846.
- Michael_J._C._Gordon type PhysicalEntity100001930.
- Michael_J._C._Gordon type Scholar110557854.
- Michael_J._C._Gordon type Scientist110560637.
- Michael_J._C._Gordon type Whole100003553.
- Michael_J._C._Gordon type YagoLegalActor.
- Michael_J._C._Gordon type YagoLegalActorGeo.
- Michael_J._C._Gordon type Agent.
- Michael_J._C._Gordon type Person.
- Michael_J._C._Gordon type Scientist.
- Michael_J._C._Gordon type Person.
- Michael_J._C._Gordon type Scientist.
- Michael_J._C._Gordon type Q215627.
- Michael_J._C._Gordon type Q5.
- Michael_J._C._Gordon type Agent.
- Michael_J._C._Gordon type NaturalPerson.
- Michael_J._C._Gordon type Thing.
- Michael_J._C._Gordon type Person.
- Michael_J._C._Gordon comment "Michael John Caldwell "Mike" Gordon FRS (born February 28, 1948) is a British computer scientist.Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware.".
- Michael_J._C._Gordon label "Michael J. C. Gordon".
- Michael_J._C._Gordon label "Michael John Caldwell Gordon".
- Michael_J._C._Gordon sameAs Michael_John_Caldwell_Gordon.
- Michael_J._C._Gordon sameAs m.07wq57.
- Michael_J._C._Gordon sameAs Q6831376.
- Michael_J._C._Gordon sameAs Q6831376.
- Michael_J._C._Gordon sameAs 108258.
- Michael_J._C._Gordon sameAs Michael_J._C._Gordon.
- Michael_J._C._Gordon wasDerivedFrom Michael_J._C._Gordon?oldid=593284810.