Utilisateur:Zetud/AWB/Test/ZetudBot-Bug Key1
< Utilisateur:Zetud | AWB
_in_Sanskrit.svg){kind=small}
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.
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) de 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].
Publications modifier
- 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
- (en) EATCS Award 2009
Voir aussi modifier
Liens externes modifier
- 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 (493 pages, version du 26 février 2010)
- (en) The Sanskrit Heritage Dictionary
- Modèle:DBLP