Gérard Huet
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Age | 76 |
| Date of birth | July 7,1947 |
| Zodiac sign | Cancer |
| Born | Bourges |
| France | |
| Field | Mathematics |
| Notable students | Thierry Coquand |
| Xavier Leroy | |
| Jean-Marie Hullot | |
| François Fages | |
| Christine Paulin-Mohring | |
| Academic advisor | Maurice Nivat |
| Job | Mathematician |
| Computer scientist | |
| Linguist | |
| Education | Case Western Reserve University |
| University of Paris | |
| Notable student | Thierry Coquand |
| Christine Paulin-Mohring | |
| Xavier Leroy | |
| Jean-Marie Hullot | |
| François Fages | |
| Affiliations | Institut National De Recherche En Informatique Et En Automatique |
| Interests | Informatique Logique Linguistique Sanskrit |
| Date of Reg. | |
| Date of Upd. | |
| ID | 622261 |
Gérard Huet Life story
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 computation.
Gérard Huet Photos
