Frank Pfenning

Frank Pfenning

male
logical frameworks, Twelf, Proof Transformations in Higher-Order Logic, programming language theory, automated deduction, Typetheory
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...
Robert Harper

Robert Harper

male
Fellow of the Association for Computing Machinery, Standard ML, type systems, LF logical framework, Typetheory, ACM Fellow
Robert Harper is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions...
Luca Cardelli

Luca Cardelli

male
Microsoft Research, Fellow of the Association for Computing Machinery, computer scientist, Montecatini Terme, operational semantics, Typetheory
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is...
Henk Barendregt

Henk Barendregt

male, 62 years old
Stanford University, Dirk van Dalen, lambda calculus, NWO Spinoza Award, Orde van de Nederlandse Leeuw, Hendrik Pieter (Henk) Barendregt…Typetheory
Hendrik Pieter (Henk) Barendregt (b. 1947) is a Dutch logician, known for his work in lambda calculus and type theory. Barendregt holds the chair...

Per Martin-Löf

male, 67 years old
University of Chicago, Logician, mathematician, philosopher, swedish, Stockholm University…Typetheory, intuitionistic type theory
Per Martin-Löf is a Swedish logician, philosopher, and mathematician born in 1942. He is best known for developing intuitionistic type theory as a c...
Philip Wadler

Philip Wadler

male
monads in functional programming, programming language design, Typetheory, Links, Web Applications, XQuery
Philip Wadler is a computer scientist well-known for his contributions to programming language design and type theory. In particular, he has...

Dr. Paul Callaghan

male
computer scientist, code reuse, ambiguous grammars, subtyping, Typetheory, Alumni of Durham University
Dr. Paul Callaghan is a lecturer in the Department of Computer Science at Durham University. Paul Callaghan completed both his B.Sc. and his Ph.D....
Paris Kanellakis

Paris Kanellakis

male, deceased (1995)
Brown University, PhD, MSc, Massachusetts Institute of Technology, professor, computer scientist…Typetheory, database theory
Paris Christos Kanellakis was a computer scientist. Kanellakis was born in Greece as the only child of general Eleftherios and Mrs. Argyroula...
John George Kemeny

John George Kemeny

male, deceased (1992)
Princeton University alumni, Programming language designer, President of Dartmouth College, Three Mile Island accident, American, Princeton University…Typetheory, Type-Theory, set theory
John George Kemeny (May 31, 1926-December 26, 1992), U.S. mathematician, computer scientist, and educator best known for co-developing the BASIC...