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
-->
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; Transducers;
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.
LINGUISTICS ENGINEERING:
Computational Linguistics; Lexicon; Morphology; Segmentation;
Dependency 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; Sailing; Travels; Yoga.
Academic Life
My participation to academic life is sketched here.
Teaching
Documents for the 2004 course "Calculs algébriques et fonctionnels"
may be found here.
The 2005 course "Linguistic Modelling using Logical and Computational Tools" is
available here.
The 2006 course slides for MPRI's "Linguistic Modelling using Logical and Computational Tools" is
available here.
The 2007 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.