Gérard Huet

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaGérard Huet
Biografia
Naixement7 juliol 1947 Modifica el valor a Wikidata (74 anys)
Bourges (França) Modifica el valor a Wikidata
Dades personals
FormacióFacultat de Ciències de París
École nationale supérieure de l'aéronautique et de l'espace
Universitat Case Western Reserve
Universitat Denis Diderot - doctorat (–1976) Modifica el valor a Wikidata
Director de tesiMaurice Nivat Modifica el valor a Wikidata
Activitat
Camp de treballCiències de la computació Modifica el valor a Wikidata
Ocupacióinformàtic, lògic, enginyer, professor d'universitat Modifica el valor a Wikidata
OcupadorUniversitat de París Sud
Universitat Denis Diderot Modifica el valor a Wikidata
Membre de
ProfessorsGeorge Ernst (en) Tradueix Modifica el valor a Wikidata
AlumnesBenoît Razet (en) Tradueix Modifica el valor a Wikidata
Obra
Estudiant doctoralJean-Marie Hullot, Thierry Coquand, Xavier Leroy, François Fages, Christine Paulin-Mohring, Gilles Dowek, Yves Lafont (en) Tradueix, Bernard Luya (en) Tradueix, Jean-Marie Hullot (en) Tradueix, Philippe Le Chenadec (en) Tradueix, Alain Laville (en) Tradueix, Annie Foret (en) Tradueix, Paul Gloess (en) Tradueix, Didier Rémy (en) Tradueix, Loic Colson (en) Tradueix, Benjamin Werner (en) Tradueix, Valérie Ménissier-Morain (en) Tradueix, Samuel Boutin (en) Tradueix, César Muñoz (en) Tradueix, Cristina Cornes (en) Tradueix, Bruno Barras (en) Tradueix i Amokrane Saibi (en) Tradueix Modifica el valor a Wikidata
Premis

Gérard Huet (Bourges, 7 de juliol de 1947) és un informàtic teòric, lingüista i matemàtic francès, director emèrit de recerca de l'Institut national de recherche en informatique et en automatique (INRIA), conegut per les seves contribucions a la teoria del llenguatge de programació i a la teoria de la computació.[1]

Enginyer graduat a l'École supérieure d'électricité, va ser professor de l'Institut Asiàtic de Tecnologia de Bangkok, de la Universitat Carnegie Mellon, investigador de SRI International i és membre de l'Acadèmia de Ciències de França i de l'Academia Europaea.[1] Ha realitzat importants contribucions a la teoria de la unificació —procés algorítmic de resolució d'equacions entre expressions simbòliques— i al desenvolupament de llenguatges de programació funcional, en particular en Categorical Abstract Machine Language (Caml). Tanmateix és especialista en lingüística computacional en sànscrit,[2][3] treballa en màquines d'Eilenberg i en l'estructura formal del sànscrit.[1]

Huet va rebre el premi Herbrand el 1998, el premi de l'European Association for Theoretical Computer Science el 2009,[4] i ha estat el primer guanyador del Gran premi Inria el 2011.[5]

Referències[modifica]

  1. 1,0 1,1 1,2 «Gérard Huet». Inria. Instituts Carnot. [Consulta: 6 febrer 2018].
  2. «Completeness Analysis of a Sanskrit Reader». INRIA Paris-Rocquencourt. [Consulta: 6 febrer 2018].
  3. «Design of a lean interface for Sanskrit corpus annotation». Inria Paris-Rocquencourt, Indian Institute of Technology, Kharagpur. [Consulta: 6 febrer 2018].
  4. «EATCS Award». European Association for Theoretical Computer Science. [Consulta: 6 febrer 2018].
  5. «Gérard Huet, Grand Prix Inria». Inria. Arxivat de l'original el 1 de desembre 2017. [Consulta: 6 febrer 2018].

Enllaços externs[modifica]