Frank Pfenning
Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and was head of the Computer Science Department at Carnegie Mellon University from 2013 to 2018.[1]
Education and career
Pfenning grew up in Rüsselsheim in Germany and studied mathematics and computer science at Technische Universität Darmstadt in Germany. He attended Carnegie Mellon University after receiving a Fulbright Scholarship, and subsequently became a professor in Carnegie Mellon's Computer Science Department.[2]
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."[3] In 2016, he received the LICS Test of Time Award for the paper "A Linear Logical Framework",[4] co-authored with Iliano Cervesato.
Personal life
Pfenning is a competitive squash player, ranked in the top five of the university's squash ladder.[5]
Pfenning has also appeared in an experimental film alongside Sharon Needles.[6][7]
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1"..
- ↑ Script error: No such module "citation/CS1"..
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".Template:Cbignore
Script error: No such module "Check for unknown parameters".
External links
- Script error: No such module "Official website".Script error: No such module "Check for unknown parameters"., CMU
- Pages with script errors
- Carnegie Mellon University alumni
- Programming language researchers
- Living people
- Carnegie Mellon University faculty
- 2015 fellows of the Association for Computing Machinery
- People from Rüsselsheim
- 20th-century German mathematicians
- German computer scientists
- Technische Universität Darmstadt alumni
- 21st-century German mathematicians