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
18,480
 
H-index
69
 
i10-index
183
 
Publications
20
 
Co-authors
51
list available
Contact
No contact links provided.
Publications
3 items
Ordered Adjoint Logic (Extended Version)
2026
Cited
0
CoLF Logic Programming as Infinitary Proof Exploration
2025
Cited
0
Substructural Parametricity
2025
Cited
0
Resume (English only)
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