Gérard Huet

Cet article est une ébauche concernant l’informatique, un mathématicien et le sanskrit.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.

Pour les articles homonymes, voir Huet.

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

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

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.
(en) Constructive Computation Theory, A executable computability theory course based on λ-calculus, août 2011.

Référence

↑ (en) EATCS Award 2009
↑ Annonce sur le site de l'INRIA
↑ Grand Prix Inria

Voir aussi

Liens externes

Notices d’autorité : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France • Système universitaire de documentation • Bibliothèque du Congrès • WorldCat
Page personnelle de Gérard Huet
Page de Gérard Huet sur le site de l'Académie des sciences
[PDF] Héritage du Sanskrit – Dictionnaire sanskrit-français, par Gérard Huet (758 pages, version du 28 juin 2014)
(en) The Sanskrit Heritage Dictionary

(en) Publications de Gérard Huet sur DBLP
(en) Publications de Gérard Huet sur ScientificCommons

Portail de l'informatique théorique
Portail de la logique
Portail du sanskrit