Gérard Huet
French computer scientist
Gérard Pierre Huet 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... Wikipedia
Place of birth: Bourges, France
Notable students: Thierry Coquand, Christine Paulin-Mohring, Xavier Leroy, and more
Affiliation: Institut national de recherche en informatique et en automatique
Research interests: Informatique Logique Linguistique Sanskrit