Gérard Huet

Gérard Huet
Información personal
Nacimiento	7 de julio de 1947 (78 años) Bourges (Francia)
Nacionalidad	Francesa
Educación
Educado en	Facultad de Ciencias de París Universidad Case de la Reserva Occidental École nationale supérieure de l'aéronautique et de l'espace Universidad de París VII Denis Diderot (Doc.; hasta 1976)
Supervisor doctoral	Maurice Nivat
Información profesional
Ocupación	Informático teórico, ingeniero, lógico, profesor universitario y matemático
Área	Ciencias de la computación, ciencias de la información, lingüística computacional y sánscrito
Empleador	Universidad de París-Sur Universidad de París VII Denis Diderot
Estudiantes doctorales	Thierry Coquand
Miembro de	Academia de Ciencias de Francia Academia Europæa (desde 1989)
Sitio web	gallium.inria.fr/~huet
Distinciones	Premio Herbrand (1998) EATCS award (2009) ACM Software System Award (2013)

Gérard Huet (Bourges, 7 de julio de 1947) es un informático teórico, lingüista y matemático francés, miembro de la Academia de Ciencias de Francia, del Instituto de Francia y de la Academia Europæa, y director emérito del INRIA. Es conocido por sus contribuciones a la teoría del lenguaje de programación y a la teoría del lenguaje de computación.​

Biografía

Estudió en la École Supérieure d'Électricité, la Universidad de París VII Denis Diderot, la Universidad Case de la Reserva Occidental y la Sorbona.

Fue profesor del Instituto Asiático de Tecnología de Bangkok, de la Universidad Carnegie Mellon e investigador de SRI International. Ha realizado importantes contribuciones a la teoría de la unificación de proceso algorítmico de resolución de ecuaciones entre expresiones simbólicas y al desarrollo de lenguajes de programación funcional, en particular el Categorical Abstract Machine Language (Caml). Es especialista en lingüística computacional en sánscrito.

Entre sus distinciones, destacamos la Legión de Honor y el Premio Herbrand en 1998.​

Referencias

• Datos: Q974366