Gérard Huet

Infos
Gérard Huet, né à Bourges le 7 juillet 1947, est un informaticien français. 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.
Gérard Huet

Gérard Huet, né à Bourges le 7 juillet 1947, est un informaticien français. 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. ==
Sujets connexes
Académie des sciences (France)   Bourges   Institut national de recherche en informatique et en automatique  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^