Scholar
Frank Pfenning
Google Scholar ID: ghWKWBUAAAAJ
Professor of Computer Science, Carnegie Mellon University
Programming Languages
Logic
Type Theory
Automated Deduction
Computer Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
18,480
H-index
69
i10-index
183
Publications
20
Co-authors
51
list available
Publications
4 items
The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
2026
Cited
0
Ordered Adjoint Logic (Extended Version)
2026
Cited
0
CoLF Logic Programming as Infinitary Proof Exploration
2025
Cited
0
Substructural Parametricity
2025
Cited
0
Co-authors
13 total
Luis Caires
Professor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa
Bernardo Toninho
Instituto Superior Técnico, Universidade de Lisboa
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Ankush Das
Assistant Professor, Boston University
Deepak Garg
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Jan Hoffmann
Carnegie Mellon University
Karl Crary
Carnegie Mellon University
Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
