Lawrence Paulson (Q6504468)

From Wikidata
Jump to navigation Jump to search
American computer scientist
  • Lawrence Charles Paulson
  • Lawrence C. Paulson
edit
Language Label Description Also known as
English
Lawrence Paulson
American computer scientist
  • Lawrence Charles Paulson
  • Lawrence C. Paulson

Statements

instance of
human
0 references
image
Lawrence Paulson Royal Society.jpg
648 × 972; 448 KB
point in time
14 July 2017
0 references
sex or gender
male
0 references
date of birth
1955
1 reference
stated in
IdRef
IdRef ID
033984883
subject named as
Lawrence C. Paulson
occupation
computer scientist
0 references
engineer
0 references
award received
ACM Fellow
point in time
2008
announcement date
15 January 2009
award rationale
For contributions to theorem provers and verification techniques (English)
1 reference
reference URL
https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it
retrieved
24 June 2024
Fellow of the Royal Society
point in time
2017
announcement date
5 May 2017
2 references
stated in
Directory of Fellows of the Royal Society
retrieved
2 May 2022
reference URL
https://royalsociety.org/news/2017/05/eminent-scientists-join-royal-society-fellowship/
publication date
5 May 2017
quotation
50 distinguished scientists have today been elected as Fellows of the Royal Society and 10 as new Foreign Members (British English)
retrieved
2 May 2022

Identifiers

J9U ID
987007445160905171
0 references
National Library of Latvia ID
000094020
subject named as
Paulson, Lawrence C.
0 references
Freebase ID
/m/08x3__
0 references
SNAC ARK ID
w6kv234h
0 references
Who's Who UK ID
U289302
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q6504468&oldid=2259489990"