Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Lawrence_Paulson> ?p ?o }
- Lawrence_Paulson abstract "Lawrence Charles Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College, Cambridge.".
- Lawrence_Paulson almaMater California_Institute_of_Technology.
- Lawrence_Paulson almaMater Stanford_University.
- Lawrence_Paulson award Association_for_Computing_Machinery.
- Lawrence_Paulson birthName "Lawrence Charles Paulson".
- Lawrence_Paulson doctoralAdvisor John_L._Hennessy.
- Lawrence_Paulson field Automated_theorem_proving.
- Lawrence_Paulson field Computer_security.
- Lawrence_Paulson field Formal_methods.
- Lawrence_Paulson knownFor Isabelle_(proof_assistant).
- Lawrence_Paulson knownFor ML_(programming_language).
- Lawrence_Paulson wikiPageExternalLink 303229537.
- Lawrence_Paulson wikiPageExternalLink ~lp15.
- Lawrence_Paulson wikiPageID "3174690".
- Lawrence_Paulson wikiPageLength "6593".
- Lawrence_Paulson wikiPageOutDegree "37".
- Lawrence_Paulson wikiPageRevisionID "706259167".
- Lawrence_Paulson wikiPageWikiLink Association_for_Computing_Machinery.
- Lawrence_Paulson wikiPageWikiLink Automated_theorem_proving.
- Lawrence_Paulson wikiPageWikiLink California_Institute_of_Technology.
- Lawrence_Paulson wikiPageWikiLink Category:1955_births.
- Lawrence_Paulson wikiPageWikiLink Category:American_computer_scientists.
- Lawrence_Paulson wikiPageWikiLink Category:California_Institute_of_Technology_alumni.
- Lawrence_Paulson wikiPageWikiLink Category:Fellows_of_Clare_College,_Cambridge.
- Lawrence_Paulson wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Lawrence_Paulson wikiPageWikiLink Category:Formal_methods_people.
- Lawrence_Paulson wikiPageWikiLink Category:Living_people.
- Lawrence_Paulson wikiPageWikiLink Category:Members_of_the_University_of_Cambridge_Computer_Laboratory.
- Lawrence_Paulson wikiPageWikiLink Category:Stanford_University_alumni.
- Lawrence_Paulson wikiPageWikiLink Clare_College,_Cambridge.
- Lawrence_Paulson wikiPageWikiLink Computer_Laboratory,_University_of_Cambridge.
- Lawrence_Paulson wikiPageWikiLink Computer_Science_Tripos.
- Lawrence_Paulson wikiPageWikiLink Computer_security.
- Lawrence_Paulson wikiPageWikiLink Constructible_universe.
- Lawrence_Paulson wikiPageWikiLink Cryptography.
- Lawrence_Paulson wikiPageWikiLink Formal_methods.
- Lawrence_Paulson wikiPageWikiLink Functional_programming.
- Lawrence_Paulson wikiPageWikiLink Isabelle_(proof_assistant).
- Lawrence_Paulson wikiPageWikiLink John_L._Hennessy.
- Lawrence_Paulson wikiPageWikiLink Kurt_Gödel.
- Lawrence_Paulson wikiPageWikiLink ML_(programming_language).
- Lawrence_Paulson wikiPageWikiLink Recursive_definition.
- Lawrence_Paulson wikiPageWikiLink Stanford_University.
- Lawrence_Paulson wikiPageWikiLink University_of_Cambridge.
- Lawrence_Paulson wikiPageWikiLinkText "Lawrence C. Paulson".
- Lawrence_Paulson wikiPageWikiLinkText "Lawrence Paulson".
- Lawrence_Paulson wikiPageWikiLinkText "Paulson L.".
- Lawrence_Paulson wikiPageWikiLinkText "Paulson".
- Lawrence_Paulson almaMater California_Institute_of_Technology.
- Lawrence_Paulson almaMater Stanford_University.
- Lawrence_Paulson almaMater "*".
- Lawrence_Paulson awards Association_for_Computing_Machinery.
- Lawrence_Paulson awards "* Pilkington Teaching Prize *".
- Lawrence_Paulson birthName "Lawrence Charles Paulson".
- Lawrence_Paulson citizenship "US/UK".
- Lawrence_Paulson doctoralAdvisor John_L._Hennessy.
- Lawrence_Paulson doctoralStudents "* David Wolfram".
- Lawrence_Paulson doctoralStudents "* Jacques Fleuriot * Florian Kammueller".
- Lawrence_Paulson fields Automated_theorem_proving.
- Lawrence_Paulson fields Computer_security.
- Lawrence_Paulson fields Formal_methods.
- Lawrence_Paulson fields "*".
- Lawrence_Paulson knownFor Isabelle_(proof_assistant).
- Lawrence_Paulson knownFor ML_(programming_language).
- Lawrence_Paulson knownFor "* MetiTarski".
- Lawrence_Paulson knownFor "*".
- Lawrence_Paulson name "Lawrence Paulson".
- Lawrence_Paulson spouse "* Susan Mary Paulson * Elena Tchougounova".
- Lawrence_Paulson thesisTitle "A Compiler Generator for Semantic Grammars".
- Lawrence_Paulson thesisUrl 303229537.
- Lawrence_Paulson thesisYear "1981".
- Lawrence_Paulson wikiPageUsesTemplate Template:Authority_control.
- Lawrence_Paulson wikiPageUsesTemplate Template:Birth_year_and_age.
- Lawrence_Paulson wikiPageUsesTemplate Template:Citation_needed.
- Lawrence_Paulson wikiPageUsesTemplate Template:Compu-bio-stub.
- Lawrence_Paulson wikiPageUsesTemplate Template:Infobox_scientist.
- Lawrence_Paulson wikiPageUsesTemplate Template:Reflist.
- Lawrence_Paulson wikiPageUsesTemplate Template:URL.
- Lawrence_Paulson workplaces University_of_Cambridge.
- Lawrence_Paulson subject Category:1955_births.
- Lawrence_Paulson subject Category:American_computer_scientists.
- Lawrence_Paulson subject Category:California_Institute_of_Technology_alumni.
- Lawrence_Paulson subject Category:Fellows_of_Clare_College,_Cambridge.
- Lawrence_Paulson subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Lawrence_Paulson subject Category:Formal_methods_people.
- Lawrence_Paulson subject Category:Living_people.
- Lawrence_Paulson subject Category:Members_of_the_University_of_Cambridge_Computer_Laboratory.
- Lawrence_Paulson subject Category:Stanford_University_alumni.
- Lawrence_Paulson hypernym Professor.
- Lawrence_Paulson type Agent.
- Lawrence_Paulson type List.
- Lawrence_Paulson type Person.
- Lawrence_Paulson type Scientist.
- Lawrence_Paulson type Person.
- Lawrence_Paulson type List.
- Lawrence_Paulson type Member.
- Lawrence_Paulson type Method.
- Lawrence_Paulson type Scientist.
- Lawrence_Paulson type Agent.
- Lawrence_Paulson type NaturalPerson.