Gérard Huet

(Redirigido desde «Gerard Huet»)

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]

BiografíaEditar

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]

ReferenciasEditar

  1. http://pauillac.inria.fr/~huet/
  2. http://eatcs.org/index.php/eatcs-award/