OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Frank Pfenning

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Computer scientist stubs
 0 By others on same topic  0 Discussions  1970-01-01  See my version
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.

 Ancestors (6)

  1. Computer scientist stubs
  2. Computer scientists
  3. Mathematicians by field
  4. Mathematicians
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook