Lawrence Paulson - CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1955 birth American computer scientist Fellow of the Association for Computing Machinery Living person Stanford University alumnus Member of the University of Cambridge Computer Laboratory Fellow of the Royal Society elected in 2017 Fellow of Clare College, Cambridge
rdfs:label	Lawrence Paulson
owl:sameAs	dbr:Lawrence_Paulson
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Members_of_the_University_of_Cambridge_Computer_Laboratory http://en.wikipedia.org/wiki/Category:1955_births http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery 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/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Stanford_University_alumni http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery 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/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2017 http://en.wikipedia.org/wiki/Category:Fellows_of_Clare_College,_Cambridge http://en.wikipedia.org/wiki/Department_of_Computer_Science_and_Technology,_University_of_Cambridge
skos:prefLabel	Lawrence Paulson
skos:altLabel	Paulson Lawrence C. Paulson Paulson L. Paulson, L. C. Paulson, Lawrence C.
clgo:academicDiscipline	Automated theorem proving Computer security Formal methods
clgo:almaMater	California Institute of Technology Stanford University
clgo:award	ACM Fellow
clgo:birthName	Lawrence Charles Paulson
clgo:birthYear	1955
clgo:doctoralAdvisor	John L. Hennessy
clgo:institution	Technical University of Munich University of Cambridge
clgo:knownFor	ML (programming language) Isabelle (proof assistant)
is clgo:author of	Isabelle (proof assistant)

About: clgr:Lawrence_Paulson