Gérard Huet
- Gérard 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) 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
- 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
Voir aussi
Liens externes
Catégories :
- Naissance en 1947
- Naissance à Bourges
- Élève de l'École supérieure d'électricité
- Ingénieur français
- Personnalité en informatique théorique
- Logicien
- Membre de l'Académie des sciences (France)
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Gérard Huet de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Gérard Huet — Gérard Huet, born in Bourges on July 7 1947, is a French computer scientist.Graduated from: * Université Denis Diderot (Paris VII) * Case Western Reserve University * Université de Paris * His specialties are: * Software architecture * Design of… … Wikipedia
Gerard Huet — Gérard Huet 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… … Wikipédia en Français
Huet — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronymes Huet est un nom de famille notamment porté par : Pierre Daniel Huet (1630 1721), érudit et évêque français ; Christophe Huet (1700… … Wikipédia en Français
Gerard Philipe — Gérard Philipe Gérard Philipe Mur peint à Cannes Nom de naissance Gérard Philip Naissance 4 décembre 1922 Cannes, France Nationalité(s) … Wikipédia en Français
Gérard Philippe — Gérard Philipe Gérard Philipe Mur peint à Cannes Nom de naissance Gérard Philip Naissance 4 décembre 1922 Cannes, France Nationalité(s) … Wikipédia en Français
Gerard van Spaendonck — Gérard van Spaendonck Gérard van Spaendonck Gérard (ou Gerrit ou Gerardus) van Spaendonck, né à Tilburg le 22 mars 1746 et mort à Paris le 11 mai 1822, est un peintre et graveur … Wikipédia en Français
Gérard Van Spaendonck — Gérard (ou Gerrit ou Gerardus) van Spaendonck, né à Tilburg le 22 mars 1746 et mort à Paris le 11 mai 1822, est un peintre et graveur … Wikipédia en Français
Gérard van spaendonck — Gérard (ou Gerrit ou Gerardus) van Spaendonck, né à Tilburg le 22 mars 1746 et mort à Paris le 11 mai 1822, est un peintre et graveur … Wikipédia en Français
Gérard van Spaendonck — Gérard (ou Gerrit ou Gerardus) van Spaendonck, né à Tilburg le 22 mars 1746 et mort à Paris le 11 mai 1822, est un peintre et graveur d origine néerlandaise installé en … Wikipédia en Français
Gérard Philipe — Pour les articles homonymes, voir Philippe. Gérard Philipe … Wikipédia en Français
