Upload

Frank Pfenning

male
logical frameworks, Twelf, Proof Transformations in Higher-Order Logic, programming language theory, automated deduction, Type theory
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...
News | Wikipedia | cs.cmu.edu
Upload

Robert Harper

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

Luca Cardelli

male
Microsoft Research, Fellow of the Association for Computing Machinery, computer scientist, Montecatini Terme, operational semantics, Type theory
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is...
Luca Cardelli Pictures | News | doc.cat-v.org | Wikipedia | luca.demon.co.uk | cs.unc.edu | research.microsoft
Henk Barendregt

Henk Barendregt

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

Per Martin-Löf

male
University of Chicago, On the definition of random sequences, Curry-Howard correspondence, proof-theoretic semantics, meaning explanation, Girard's paradox, … , intuitionistic type theory, 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...
Wikipedia
Philip Wadler

Philip Wadler

male
monads in functional programming, programming language design, Type theory, 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...
Philip Wadler Pictures | News | Wikipedia | groups.inf.ed.ac.uk | homepages.inf.ed.ac.uk
Upload

Dr. Paul Callaghan

male
computer scientist, code reuse, ambiguous grammars, subtyping, Type theory, 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....
News | dur.ac.uk | dur.ac.uk | dur.ac.uk | Wikipedia
Paris Kanellakis

Paris Kanellakis

male, deceased
Brown University, Greek-American, theoretical computer science, Type theory, ACM Transactions on Database Systems, American Airlines Flight 965
Paris Christos Kanellakis was a computer scientist. Kanellakis was born in Greece as the only child of general Eleftherios and Mrs. Argyroula...
Paris Kanellakis Pictures | cs.brown.edu | cs.brown.edu | Wikipedia
John George Kemeny

John George Kemeny

male, deceased
Programming language designer, Three Mile Island accident, President of Dartmouth College, Princeton University alumni, BASIC programming language, los alamos national laboratory, … , Type theory
John George Kemeny (May 31, 1926-December 26, 1992), U.S. mathematician, computer scientist, and educator best known for co-developing the BASIC...
John George Kemeny Pictures | truebasic | math.dartmouth.edu | infoshare1.princeton.edu | scidiv.bcc.ctc.edu | dartmouth.edu ...