Gérard Huet
Gérard Huet | |
|---|---|
| Born | 7 July 1947 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 |
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.