Gérard Huet
From Wikipedia, the free encyclopedia
Gérard Pierre Huet (French: [y.ɛ]; 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.
Quick Facts Born, Nationality ...
Gérard Huet | |
---|---|
Born | (1947-07-07) 7 July 1947 (age 76) Bourges, France |
Nationality | French |
Alma mater | Case Western Reserve University University of Paris |
Known for | Caml |
Scientific career | |
Fields | Mathematics |
Doctoral advisor | George Ernst Maurice Nivat |
Doctoral students | Thierry Coquand François Fages Jean-Marie Hullot Xavier Leroy Christine Paulin-Mohring |
Close