Frank Pfenning
Research Interests

Summary

Design and Implementation of Programming Languages, Type Systems, Type Theory
Logical Frameworks, Automated Deduction, Verification
Constructive Logic, Modal Logic, Linear Logic, Ordered Logic, Adjoint Logic
Functional Programming, Logic Programming
Staged Computation, Run-Time Code Generation, Partial Evaluation
Computer Science Education
Computer Security and Privacy

[ Home | Contact | Research | Publications | CV | Students ]
[ Projects | Courses | Conferences | Organizations | Journals ]