Gérard Huet
Biografia | |
---|---|
Naixement | 7 juliol 1947 (76 anys) Bourges (França) |
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 París VII - Denis Diderot - doctorat (–1976) |
Director de tesi | Maurice Nivat |
Activitat | |
Camp de treball | Ciències de la computació, ciència computacional, lingüística computacional i sànscrit |
Ocupació | informàtic, professor d'universitat, lògic, enginyer, matemàtic |
Ocupador | Universitat de París Sud Universitat París VII - Denis Diderot |
Membre de | |
Professors | George Ernst |
Alumnes | Benoît Razet |
Obra | |
Estudiant doctoral | Jean-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 |
Premis
| |
Lloc web | gallium.inria.fr… |
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
- ↑ 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].
Enllaços externs
- Publicacions científiques de Gérard Huet
- Dictionnaire Héritage du Sanscrit, de Gérard Huet