Carnegie Mellon University

Frank Pfenning

Frank Pfenning

Professor of Computer Science

Address 5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

 

Research

  • Programming Languages
  • Logic and Type Theory
  • Logical Frameworks
  • Automated Deduction
  • Trustworthy Computing