Gérard Huet
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,0 1,1 1,2 «Gérard Huet». Inria. Instituts Carnot. [Consulta: 6 febrer 2018].
- ↑ «Completeness Analysis of a Sanskrit Reader». INRIA Paris-Rocquencourt. Arxivat de l'original el 11 de febrer 2014. [Consulta: 6 febrer 2018].
- ↑ «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].
- ↑ «EATCS Award». European Association for Theoretical Computer Science. [Consulta: 6 febrer 2018].
- ↑ «Gérard Huet, Grand Prix Inria». Inria. Arxivat de l'original el 1 de desembre 2017. [Consulta: 6 febrer 2018].