Gérard Huet
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.
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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.