Gérard Huet

Gérard Pierre Huet (French:; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory, and to the theory of computation.