Ingénieur diplômé de Supélec, il est directeur de recherche (de classe exceptionnelle) de l'Institut national de recherche en informatique et en automatique et membre de l'Académie des sciences.
Publications
- Le Projet prévision-réalisation des vols, SINCRO, Paris, 1970.
- Spécifications pour une base commune de données, SINCRO, Paris, 1971.
- A Mechanization of type theory, LABORIA, Rocquencourt, 1973.
- La Gestion des données dans les systèmes informatiques, École supérieure d'électricité, Malakoff, 1974.
Liens externes
- Notice biographique de l'INRIA
- Gérard Huet Héritage du sanskrit dictionnaire sanskrit-français (428 pages, version du 5 avril 2007 consultée en ligne)
