Gérard Huet

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaGérard Huet
Biografia
Naixement 7 juliol 1947 (72 anys)
Bourges (França)
Formació Facultat de Ciències de París
École nationale supérieure de l'aéronautique et de l'espace Tradueix
Universitat Case Western Reserve
Universitat Denis Diderot . doctorat (–1976)
Activitat
Director de tesi Maurice Nivat
Camp de treball Ciències de la computació
Ocupació Informàtic, enginyer, lògic i professor d'universitat
Ocupador Universitat de París Sud
Universitat Denis Diderot
Obra
Estudiant doctoral Jean-Marie Hullot, Thierry Coquand i Xavier Leroy
Modifica les dades 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. [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. [Consulta: 6 febrer 2018].

Enllaços externs[modifica]