Name:Frank Pfenning

Affiliation:Carnegie Mellon University, USA

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