Frank Pfenning is a prominent computer scientist known for his work in the fields of programming languages, formal methods, and type theory. He is a professor at Carnegie Mellon University, where he has contributed significantly to research in type systems and their applications in programming language design and implementation. His work has involved the development of various programming languages and systems, and he has published extensively in the areas of logic, proof theory, and functional programming.
New to topics? Read the docs here!