Biography:Frank Pfenning
Frank Pfenning | |
|---|---|
 Mathematical Foundations of Programming Semantics (Pittsburgh, May 2004) | |
| Born | Rüsselsheim am Main, Germany |
| Education | Technische Universität Darmstadt Carnegie Mellon University |
| Spouse(s) | Nancy Pfenning |
| Awards | ACM Fellow (2015) |
| Scientific career | |
| Institutions | Carnegie Mellon University |
| Doctoral advisor | Peter B. Andrews |
| Doctoral students | Michael Kohlhase Gerald Penn |
| Website | http://www.cs.cmu.edu/~fp/ |
Frank Pfenning is a German-American professor of computer science, adjunct professor in the department of philosophy, and head of the Computer Science Department at Carnegie Mellon University.[1]
Education and career
Pfenning grew up in Rüsselsheim in Germany. He studied mathematics and computer science at Technische Universität Darmstadt in Germany. He then moved to the US and studied at Carnegie Mellon University, where he received his M.S. and Ph.D. in the Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order Logic. He was a student of Peter B. Andrews.
His research includes work in the area of programming languages, logic and type theory, logical frameworks, automated deduction, and trustworthy computing. He is one of the principal authors of the Twelf system. He also developed Carnegie Mellon's introductory imperative programming course for undergraduates and the C0 programming language used in this course.
Honors and awards
In 2015 he was named a Fellow of the Association for Computing Machinery "for contributions to the logical foundations of automatic theorem proving and types for programming languages."[2] In 2016 he received the LICS Test of Time Award for the paper "A Linear Logical Framework",[3] co-authored with Iliano Cervesato.
Personal life
Pfenning is a competitive squash player, ranked in the top five of the university's squash ladder.[4]
Pfenning has also appeared in an experimental film alongside Sharon Needles.[5][6]
References
- ↑ "Frank Pfenning Named Head of Carnegie Mellon's Computer Science Department". January 8, 2013. http://news.cs.cmu.edu/article.php?a=3477. Retrieved 9 January 2013.
- ↑ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, http://www.acm.org/press-room/news-releases/2015/fellows-2015, retrieved 2015-12-10.
- ↑ "LICS - Archive". https://lics.siglog.org/archive/test-of-time-award.html.
- ↑ "CMU Squash Ladder". http://fp.cs.cmu.edu/squash/squash.php/. Retrieved 27 January 2019.
- ↑ "Frank Pfenning / Curriculum Vitae". http://www.cs.cmu.edu/~fp/cv.html.
- ↑ (in en) Sharon Needles, https://www.youtube.com/watch?v=IOhhxfC-lms, retrieved 2021-02-17
External links
 |  |
