Gérard Huet

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]​ 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.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.