Frank Pfenning
Scholar

Frank Pfenning

Google Scholar ID: ghWKWBUAAAAJ
Professor of Computer Science, Carnegie Mellon University
Programming LanguagesLogicType TheoryAutomated DeductionComputer Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,995
 
H-index
33
 
i10-index
85
 
Publications
20
 
Co-authors
51
list available
Contact
No contact links provided.
Publications
2 items
CoLF Logic Programming as Infinitary Proof Exploration
2025
Cited
0
Substructural Parametricity
2025
Cited
0
Resume (English only)
Academic Achievements
  • Published multiple papers, including 'Substructural Parametricity', 'Adjoint Natural Deduction (Extended Version)', etc. Received the Distinguished Paper Award at POPL 2024.
Research Experience
  • Extensive research experience in areas such as programming languages, logic and type theory. Involved in projects like Session Types.
Background
  • Professor of Computer Science at Carnegie Mellon University. Research interests include Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, and Trustworthy Computing.
Miscellany
  • Teaches courses such as 'Types and Programming Languages' and 'HOT Compilation'.
Co-authors
51 total
Luis Caires
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Bernardo Toninho
Bernardo Toninho
Instituto Superior Técnico, Universidade de Lisboa
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Robert Harper
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Ankush Das
Ankush Das
Assistant Professor, Boston University
Co-author 8
Co-author 8