Lawrence Paulson
Distinguished Affiliated Professor for Logic in Informatics @Amazon Web Services (AWS)
Cambridge, GB
EMAILS
MOBILE NUMBERS
+91 *********19
Signup · Get unlimited contacts
WORK HISTORY
Jan 2006 — Present
Distinguished Affiliated Professor for Logic in Informatics @Amazon Web Services (AWS)
View department →
EDUCATION
1973 — 1977
California Institute of Technology
BS, Mathematics
1973 — 1977
California Institute of Technology
BS, Mathematics
1977 — 1982
Stanford University
PhD, Computer Science
1977 — 1982
Stanford University
PhD, Computer Science
SKILLS
Machine LearningSemanticsScientific ComputingFormal VerificationProgrammingLecturingUniversity TeachingResearchAlgorithmsDistributed SystemsMathematical ModelingSimulationsPhysicsScienceComputer ScienceTheoryParallel ComputingArtificial IntelligenceLatex
ABOUT LAWRENCE PAULSON
My research concerns mechanical theorem proving and its applications. I am a primary…
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.