Gérard Huet

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique et un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

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.

[modifier] 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.

[modifier] Liens externes