Name:Frank Pfenning

Affiliation:Carnegie Mellon University

Research interests:Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing