Gérard Huet|
Naixement | 7 juliol 1947 (77 anys) Bourges (França) |
---|
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 |
---|
Director de tesi | Maurice Nivat |
---|
|
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 |
---|
|
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 |
---|
|
|
|
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
Enllaços externs