At ORCID we take our privacy and security seriously. As of April 9, 2014, all ORCID systems have been updated to protect against the "Heartbleed" vulnerability. As an extra precaution, ORCID.org recommends that you reset your password to something new and not utilized on any other website. Learn more here.

Lawrence C Paulson

Keywords: automated theorem proving, Isabelle, MetiTarski

Websites:
Home page

Other IDs:
Scopus Author ID: 7005293178

Education

  • ({{affiliation.startDate.year}}-{{affiliation.startDate.month}} to present) ({{affiliation.startDate.year}}-{{affiliation.startDate.month}} to {{affiliation.endDate.year}}-{{affiliation.endDate.month}}) ({{affiliation.endDate.year}}-{{affiliation.endDate.month}})

No education added yet

Employment

  • ({{affiliation.startDate.year}}-{{affiliation.startDate.month}} to present) ({{affiliation.startDate.year}}-{{affiliation.startDate.month}} to {{affiliation.endDate.year}}-{{affiliation.endDate.month}}) ({{affiliation.endDate.year}}-{{affiliation.endDate.month}})

No employment added yet

Funding

  • {{funding.fundingTitle.title.value}}: ({{funding.startDate.year}}-{{funding.startDate.month}} to present) ({{funding.startDate.year}}-{{funding.startDate.month}} to {{funding.endDate.year}}-{{funding.endDate.month}}) ({{funding.endDate.year}}-{{funding.endDate.month}})

No Funding added yet

Works

  • {{work.publicationDate.year}}-{{work.publicationDate.month}}

No publications added yet