Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
The personal page of Gérard Huet

Gérard Huet

Membre de l'Institut (Académie des Sciences).
Membre, Academia Europaea.
Directeur de Recherche de Classe Exceptionnelle INRIA.
Chercheur de l'Equipe Signes de l'UR Futurs et du Projet Cristal de l'UR de Rocquencourt.
Membre du Conseil d'Administration de l'Université Paris 7 - Denis Diderot.
Member, International Advisory Board, TRDDC (Tata Consultancy Services), Pune, India.
Membre du Conseil Scientifique de la Fondation de Recherche pour la Modélisation et la Simulation du Vivant, Sophia Antipolis.
Membre du Conseil Scientifique du GIS SARIMA.

Research Interests

LOGIC: Type Theory; Sequent Calculus; Linear logic; Proof nets; Constructive Mathematics; Automation of Reasoning.
COMPUTATION THEORY: Semantics of programming languages; Lambda-calculus; Unification; Induction; Categorical models; Sequentiality; Interaction combinators.
ALGORITHMICS: Finite-state machines; Regular relations; Tree automata; Formal computing.
FORMAL METHODS: Specification Languages; Type theoretical frameworks; Program validation; Certification of Safety-Critical Software; Certified Mobile Code.
SOFTWARE ENGINEERING: Functional Programming; Logic and Constraints Programming; ML; Literate Programming; Programming Environments; Proof Assistants; Software Architectural Design; Web services.
LINGUISTICS ENGINEERING: Computational Linguistics; Lexicon; Morphology; Segmentation; Categorial grammars; Semantics; Pivot Languages; Sanskrit.
KNOWLEDGE ENGINEERING: Semantic nets; Description logics; Mobile truth; Web services.
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; Travels; Yoga.

Academic Life

My participation to academic life is sketched here.

Teaching

Documents for the course "Calculs algébriques et fonctionnels" may be found here.

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

From 1997 to 1999 I assumed the position of International Relations Office Head at INRIA Headquarters. I traveled a lot and I often wore a tie.

I received the Herbrand award in 1998.

I received an Honoris Causa Doctorate in Technology by Chalmers University in Göteborg in April 2004.

A short biodata.

My academic biodata.

Halte au dopage!

An interview by Dominique Chouchan in 2003.

Gerard.Huet@inria.fr

Last update : January 10th, 2005