Gérard Huet
From Wikipedia, the free encyclopedia
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.[1]
- 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)
| Gérard Huet | ||
|---|---|---|
|
| ||
| Información personal | ||
| Nacimiento |
7 de julio de 1947 (78 años) Bourges (Francia) | |
| Nacionalidad | Francesa | |
| Educación | ||
| Educado en |
| |
| 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 |
| |
| Estudiantes doctorales | Thierry Coquand | |
| Miembro de |
| |
| Sitio web | gallium.inria.fr/~huet | |
| Distinciones |
| |
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.[2]
