Gérard Huet

My photo in march 2009

Membre de l'Institut de France (Académie des Sciences).
Member Academia Europaea.
Membre du Comité National Français d'Histoire et de Philosophie des Sciences.
Directeur de Recherche émérite Inria.
Convenor, Section Computational Sanskrit and Digital Humanities, 17th World Sanskrit Conference, Vancouver.
Webmaster Sanskrit Heritage site.

Academic Life

My participation to academic life worldwide is listed here.


My main publications are listed here.

My Google scholar citations page.

Software projects

My main software projects are listed here.

Recent Talks

Recent presentations are available here.

Capsule biography

In May 68 I got my pilot license while training as an Aerospace engineer. I learnt programming in PAF on a CAB 500 computer, in Algol 60 on a CAE 510, in Fortran on an IBM 7094, and in LISP 1.5 on a PDP 10. In the 70's I investigated lambda-calculus, higher-order unification and equational logic, and I worked on the programming environment Mentor with Gilles Kahn in the legendary bâtiment 8 in the historical original IRIA site of Rocquencourt. In the 80's I headed the Formel project that developed the Caml functional programming language and the Calculus of Constructions logical framework. In the 90's I worked on Type Theory, coordinated the European Logical Frameworks then Types Basic Research Actions, and headed the Coq project-team that developed the Coq proof assistant. In 1992 I invented the Zipper data structure. From 1997 to 1999 I took a research break and assumed the position of International Relations Head at Inria Headquarters. I traveled a lot, I often wore a tie, and I was a tough negociator. In 2000 I came back to research in Computational Linguistics, and developed the Zen toolkit for finite-state computation, the Aum transducers applicative structure, and the Sanskrit Heritage linguistic platform. In 2009 I was awarded a shawl for my Sanskrit work. In 2005-2010 I worked on effective Eilenberg machines and the Relational Programming methodology with Benoît Razet. Nowadays I work mostly on Sanskrit Computational Linguistics within a joint team between Inria and University of Hyderabad, as an experiment in Numerical Humanities.

I received the Herbrand award in 1998. I was awarded an Honoris Causa Doctorate in Technology by Chalmers University in Göteborg in April 2004. I wore my best costume. In 2009 I became recipient of the EATCS Award. I wore my second best costume. In 2011 I was awarded the Inria "Grand Prix". I was awarded the ACM-Sigplan Programming Languages Software Award in 2013 and the ACM Software Award in 2014 for the Coq proof assistant.

The International Conference Formal Structures for Computation and Deduction has been named in recognition of the influence of the 1986 eponym course notes.

I was last seen in Mumbai.

A short biodata.

My academic biodata.

My academic filiation.

My mathematical genealogy.

My Linkedin profile.

Halte au dopage !

An interview by Dominique Chouchan in 2003.

Another interview about Caml in Software Engineering Daily on November 6, 2015.

I appeared in Entrevue in its June 2008 issue. Their paparazzi spotted me in Delhi.

I discussed esthetics of programming in the Binaire Blog in March 2015.

I wrote a few reminiscences for the period 1967 to 2000 for Inria's 50th anniversary.


Updated June 8th, 2018