Gérard Huet

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

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. Arxivat de l'original el 11 de febrer 2014. [Consulta: 6 febrer 2018].
  3. ↑ «Design of a lean interface for Sanskrit corpus annotation». Inria Paris-Rocquencourt, Indian Institute of Technology, Kharagpur. Arxivat de l'original el 14 de juliol 2014. [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]