Gérard Huet (informaticien)

Country :France
Language :français
Gender :masculin
Note :Docteur ès sciences mathématiques (Paris VI, 1976). - Directeur de recherches à l'Institut national de recherche en informatique et automatique [INRIA] (en 1990). - Signe "Gérard" ses publications en français et "Gérard P." ses publications en anglais
Variant of the name :Gérard Pierre Huet
ISNI :ISNI 0000 0001 1932 5321

Occupations

Auteur du texte6 documents

  • La Gestion des données dans les systèmes informatiques

    Material description : 327 p. multigr.
    Note : Note : Université de Paris, Société des électriciens, des électroniciens et des radioélectriciens, Ecole supérieure d'électricité
    Edition : Malakoff : Ecole supérieure d'électricité , 1974
    Éditeur scientifique : École supérieure d'électricité. Gif-sur-Yvette, Essonne

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35356002r]
  • A Mechanization of type theory

    Material description : IV-26 f. multigr.
    Note : Note : Résumé en anglais et en français. - Bibliogr. f. 25-26
    Edition : Rocquencourt : LABORIA , 1973

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb34647194x]
  • Le Projet prévision-réalisation des vols

    Material description : 27 cm, 9 f., pl. H. c
    Note : Note : Copyright 1970
    Edition : Paris : SINCRO, Société d'informatique, de conseils et de recherche opérationnelle , [1970]
    Éditeur scientifique : Société d'informatique, de conseils et de recherche opérationnelle

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35357436d]
  • Résolution d'équations dans les langages d'ordre

    Material description : Pag. mult.
    Edition : [S.l. : s.n.] , 1976

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35028464r]
  • Spécifications pour une base commune de données

    Material description : [III-] 32 f., multigr.
    Edition : Paris : SINCRO, Société d'informatique, de conseils et de recherche opérationnelle , 1971

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35352285v]

Éditeur scientifique4 documents

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975
    A Mechanization of type theory / Gérard P. Huet, 1973

Variant of the name

  • Gérard Pierre Huet

Wikipedia Biography

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

Closely matched pages