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) à l'Inria et membre de l'Académie des sciences. Il a obtenu le prix de l'European Association for Theoretical Computer Science 2009[1],[2] et a été le premier récipiendaire du Grand Prix Inria en 2011[3].

Il est également l'auteur d'un dictionnaire sanskrit-français consultable en ligne, The Sanskrit Heritage Dictionary.

Travaux[modifier | modifier le code]

Publications[modifier | 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érence[modifier | modifier le code]

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

Voir aussi[modifier | modifier le code]

Liens externes[modifier | modifier le code]