Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme
Pioneer

Lawrence Paulson

Also Known As Lawrence Charles Paulson · Lawrence C. Paulson
Software And Its Engineering

Lawrence Charles Paulson is an American computer scientist who is a professor of computational logic at the University of Cambridge Computer Laboratory and a fellow of Clare College, Cambridge.

Facts
Birth Year
1955 1
Nationality
American 2
Award
Fellow of the Royal Society 1
Award
ACM Fellow 1
Award
Herbrand Award 1
Connections

In Field

Formal Methods, Fields
Source Wikipedia: Lawrence Paulson
In the Other Atlases
Sources
1. Wikidata: Lawrence Paulson
  • Wikidata Q6504468, class allow-list match (w-wdresolver-0926)
  • Wikidata Q6504468 P569 (date of birth)
2. Wikipedia: Lawrence Paulson
Wikimedia Foundation
  • infobox, birth_date field
    birth_date = 1955
  • opening sentence
    Lawrence Charles Paulson is an American computer scientist. He is a professor of computational logic at the University of Cambridge Computer Laboratory and a fellow of Clare College, Cambridge.
  • In Field: Formal Methods, Lead paragraph
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.