Wikidata

(Q15487688)

English

Frank Pfenning

American computer scientist

In more languages

Statements

image
Frank Pfenning.jpg
1,200 × 1,600; 422 KB
0 references
date of birth
20. century
0 references
occupation
engineer
0 references
computer scientist
0 references
doctoral student
award received
ACM Fellow
point in time
2015
announcement date
8 December 2015
award rationale
For contributions to the logical foundations of automatic theorem proving and types for programming languages (English)
1 reference
reference URL
https://www.acm.org/media-center/2015/december/fellows-2015
retrieved
24 June 2024

Identifiers

ISNI
0000000117626446
0 references
NL CR AUT ID
xx0053469
0 references
NUKAT ID
n98097591
0 references
Freebase ID
/m/0g2vxr
0 references
KBR person ID
14243775
0 references
MR Author ID
216784
0 references
nLab ID
Frank Pfenning
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q15487688&oldid=2188026090"