Frank Pfenning

Professor of Computer Science   Curriculum Vitæ    Frank Pfenning
Computer Science Department   Short Biography
fp@cs[]   Picture
School of Computer Science   Office:   GHC 6017
Carnegie Mellon University   Phone:   +1 412 268-6343
Pittsburgh, PA 15213-3891, U.S.A.   Fax:   +1 412 268-5577
Research Interests Programming Languages, Logic and Type Theory,
Logical Frameworks, Automated Deduction, Trustworthy Computing
(see also recent drafts, publications, talks, students & co-authors)
Session Types Message-Passing and Shared Memory Concurrency
C0 Specification and Verification in Introductory Computer Science
15-414/614 Bug Catching: Automated Program Verification
Spring'21, 9 units, TuTh 12:20-1:40, REMOTE
15-814 Types and Programming Languages
Fall'20, 12 units, TuTh 9:50-11:10, REMOTE
15-150 Functional Programming
Spring'20, 10 units, Lec 2, TuTh 3:00-4:20, WeH 7500

Recent Drafts, Talks, and Publications

See also Publications (as of Jan 3, 2021), DBLP, Google Scholar Profile

Manifestly Phased Communication via Shared Session Types
Chuta Sano, Stephanie Balzer, and Frank Pfenning.
Technical Report, available as arXiv:2101.06249.
January 2021.
Rast: A Language for Resource-Aware Session Types
Ankush Das and Frank Pfenning.
Submitted, December 2020.
Rast is available at
15-814 Types and Programming Languages
Frank Pfenning.
Combined course notes for 15-814, December 2020.
An implementation of the Lambda language is available at

Older Unpublished Drafts and Talks

Teaching Imperative Programming with Contracts at the Freshmen Level [Experience Report]
Frank Pfenning, Thomas J. Cortina, and William Lovas.
Unpublished manuscript, September 2011.
Updated version:
An Approach to Teaching to Write Safe and Correct Imperative Programs --- Even in C,
Iliano Cervesato, Thomas J. Cortina, Frank Pfenning, and Saquib Razak,
January 2019.
The Focused Constraint Inverse Method for Intuitionistic Modal Logics
Sean McLaughlin and Frank Pfenning.
Draft manuscript, January 2010.

[ Home | Contact | Research | Publications | CV | Students ]
[ Projects | Courses | Conferences | Organizations | Journals ]
[ Logical Frameworks | Pittsburgh Squash Racquets Assocation ]