Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Lawrence_Paulson> ?p ?o. }
Showing items 1 to 92 of
92
with 100 items per page.
- 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 birthDate "1955".
- Lawrence_Paulson birthName "Lawrence Charles Paulson".
- Lawrence_Paulson birthYear "1955".
- 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 viafId "91459151".
- Lawrence_Paulson wikiPageExternalLink 303229537.
- Lawrence_Paulson wikiPageExternalLink ~lp15.
- Lawrence_Paulson wikiPageID "3174690".
- Lawrence_Paulson wikiPageRevisionID "602117436".
- Lawrence_Paulson almaMater "* California Institute of Technology * Stanford University".
- Lawrence_Paulson awards "* Pilkington Teaching Prize * FACM".
- Lawrence_Paulson birthName "Lawrence Charles Paulson".
- Lawrence_Paulson citizenship "US/UK".
- Lawrence_Paulson dateOfBirth "1955".
- Lawrence_Paulson doctoralAdvisor John_L._Hennessy.
- Lawrence_Paulson doctoralStudents "* Jacques Fleuriot * Florian Kammueller * David Wolfram".
- Lawrence_Paulson fields "* Theorem proving * Formal methods * Computer security".
- Lawrence_Paulson hasPhotoCollection Lawrence_Paulson.
- Lawrence_Paulson knownFor "* ML * Isabelle * MetiTarski".
- Lawrence_Paulson name "Lawrence Paulson".
- Lawrence_Paulson name "Paulson, Lawrence".
- Lawrence_Paulson religion "atheist".
- 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 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 type Alumnus109786338.
- Lawrence_Paulson type AmericanComputerScientists.
- Lawrence_Paulson type Associate109816771.
- Lawrence_Paulson type CausalAgent100007347.
- Lawrence_Paulson type Colleague109935990.
- Lawrence_Paulson type ComputerScientist109951070.
- Lawrence_Paulson type ComputerUser109951274.
- Lawrence_Paulson type FellowsOfClareCollege,Cambridge.
- Lawrence_Paulson type FellowsOfTheAssociationForComputingMachinery.
- Lawrence_Paulson type FormalMethodsPeople.
- Lawrence_Paulson type Intellectual109621545.
- Lawrence_Paulson type LivingPeople.
- Lawrence_Paulson type LivingThing100004258.
- Lawrence_Paulson type Object100002684.
- Lawrence_Paulson type Organism100004475.
- Lawrence_Paulson type Peer109626238.
- Lawrence_Paulson type Person100007846.
- Lawrence_Paulson type PhysicalEntity100001930.
- Lawrence_Paulson type Scholar110557854.
- Lawrence_Paulson type Scientist110560637.
- Lawrence_Paulson type StanfordUniversityAlumni.
- Lawrence_Paulson type Whole100003553.
- Lawrence_Paulson type YagoLegalActor.
- Lawrence_Paulson type YagoLegalActorGeo.
- Lawrence_Paulson type Agent.
- Lawrence_Paulson type Person.
- Lawrence_Paulson type Scientist.
- Lawrence_Paulson type Person.
- Lawrence_Paulson type Scientist.
- Lawrence_Paulson type Q215627.
- Lawrence_Paulson type Q5.
- Lawrence_Paulson type Agent.
- Lawrence_Paulson type NaturalPerson.
- Lawrence_Paulson type Thing.
- Lawrence_Paulson type Person.
- Lawrence_Paulson comment "Lawrence Charles Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College, Cambridge.".
- Lawrence_Paulson label "Lawrence Paulson".
- Lawrence_Paulson sameAs m.08x3__.
- Lawrence_Paulson sameAs Q6504468.
- Lawrence_Paulson sameAs Q6504468.
- Lawrence_Paulson sameAs Lawrence_Paulson.
- Lawrence_Paulson wasDerivedFrom Lawrence_Paulson?oldid=602117436.
- Lawrence_Paulson givenName "Lawrence".
- Lawrence_Paulson isPrimaryTopicOf Lawrence_Paulson.
- Lawrence_Paulson name "Lawrence Paulson".
- Lawrence_Paulson name "Paulson, Lawrence".
- Lawrence_Paulson surname "Paulson".