Gérard Huet
Membre de l'Institut de France
(Académie des Sciences).
Member Academia Europaea.
Directeur de Recherche INRIA.
Chercheur au Centre INRIA Paris-Rocquencourt.
Responsable français de
l'Équipe associée Sanskrit avec l'Université d'Hyderabad.
Chercheur associé du
Projet Signes du Centre INRIA
Bordeaux Sud-Ouest.
Webmaster, Sanskrit Heritage site.
Convenor, First International Symposium on Sanskrit Computational Linguistics.
Membre du Comité National Français d'Histoire et de Philosophie
des Sciences.
Research Interests
LOGIC:
Type Theory; Sequent Calculus; Linear logic; Proof nets; Constructive Mathematics; Automation of Reasoning; Proof Assistants.COMPUTATION THEORY:
Semantics of programming languages; Lambda-calculus; Unification; Induction; Categorical models; Sequentiality; Interaction combinators.ALGORITHMICS:
Finite-state machines; Regular relations; Transducers; Formal computing; Relational machines.FORMAL METHODS:
Specification Languages; Type theoretical frameworks; Program validation; Certification of Safety-Critical Software; Certified Mobile Code.PROGRAMMING LANGUAGES:
Functional Programming; ML; Logic and Constraints Programming; Relational Programming.SOFTWARE ENGINEERING:
Literate Programming; Programming Environments; Software Architecture; Extreme Programming.LINGUISTICS ENGINEERING:
Computational Linguistics; Lexicon; Morphology; Segmentation; Dependency grammars; Semantics; Pivot Languages; Sanskrit.KNOWLEDGE ENGINEERING:
Semantic nets; Description logics; Mobile truth; Web services; Digital libraries.HUMANITIES and ARTS:
Linguistics; Semiology; Ethnology; Cultural Heritage; Indian Civilization.SOCIAL SCIENCES:
Education; Research methodology, evaluation and prospective; International Relations; Sustainable development.LIFE SCIENCES:
Modelling and simulation of life; Cerebral and Sensorial functionality.PRACTICE:
Mountaineering, trecking; Sailing; Travels; Yoga.
Academic Life
My participation to academic life worldwide is listed here.
Teaching
Documents for the 2004 course "Calculs algébriques et fonctionnels" may be found here.The Fall 2008 course notes for MPRI's "Linguistic Modelling using Logical and Computational Tools" is available here as a pdf document.
Publications
My main publications are listed here. The latest ones may be downloaded from there.
Software projects
My main software projects are listed here.Recent Talks
Recent presentations are available here.
Biodata
In May 68 I got my pilot license while training as an Aerospace engineer. 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 bâtiment 8 in Rocquencourt. In the 80's I headed the Formel project which 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 Types Basic Research Action, and headed the Coq project which developed the Coq proof assistant. From 1997 to 1999 I 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 platform. I was awarded a shawl for my Sanskrit work. Nowadays I work on modular Eilenberg machines and the Relational Programming methodology.
I received the Herbrand award in 1998. I received an Honoris Causa Doctorate in Technology by Chalmers University in Göteborg in April 2004. In 2009 I was awarded the EATCS Award.
A short biodata.
My academic biodata.
My academic filiation. My mathematical genealogy.
An interview by Dominique Chouchan in 2003.
A recent press release of INRIA.
Firstname.Lastname@inria.fr Last update : November 24th, 2009