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

Sommaire

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


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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”