Ontify
⌘
S
⌘
S
Frank Pfenning - Ontify
Share
Frank Pfenning
American computer scientist.
Wikipedia | Frank Pfenning
Statements about
Frank Pfenning
External Pages About Frank Pfenning
Google Scholar Author
ISNI
Instance Of
Human
Sex or Gender
Male
Image
Occupation
Engineer
Computer Scientist
Educated At
Carnegie Mellon University
Given Name
Frank
Member Of
Association for Computing Machinery
(12/8/2015 - )
Date of Birth
20th century
Family Name
Employer
Award Received
Doctoral Advisor
Official Website
Place of Birth
Pfenning
Carnegie Mellon University
ACM Fellow
(2015)
Award Rationale
:
For contributions to the logical foundations of automatic theorem proving and types for programming languages
Point in Time
:
2015
Announcement Date
:
12/8/2015
https://www.cs.cmu.edu/~fp/
Rüsselsheim Am Main
Series Ordinal
:
1
Subject Has Role
:
ACM Fellow
Start Time
:
12/8/2015
Peter B. Andrews
Wikidata
