Gérard Huet

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Gérard Huet, né à Bourges le 7 juillet 1947, est un logicien et chercheur en informatique théorique français.

Ingénieur diplômé de Supélec, il est directeur de recherche (de classe exceptionnelle) d'Inria et membre de l'Académie des sciences. Il a obtenu le prix de l'European Association for Theoretical Computer Science 20091,2 et a été le premier récipiendaire du Grand Prix Inria en 20113.

Travauxmodifier | modifier le code

Publicationsmodifier | modifier le code

  • 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.

Référencemodifier | modifier le code

  1. (en) EATCS Award 2009
  2. Annonce sur le site de l'INRIA
  3. Grand Prix Inria

Voir aussimodifier | modifier le code

Liens externesmodifier | modifier le code








Creative Commons License