Welcome to my home page!

• Thierry Despeyroux
• INRIA -- Rocquencourt -- Research Team AxIS
• Adress: Domaine de Voluceau - Rocquencourt - B.P. 105 - 78153 Le Chesnay Cedex, France
• Email: Thierry.Despeyroux@inria.fr
• WWW: http://www-rocq.inria.fr/who/Thierry.Despeyroux/td-eng.html
  (If you don't know what is a fix point, click here. )
• Phone: +33 (0)1 39 63 55 79
• Research Interests

Professional Links On Line Publications Other Links

Music Sweet Home

Intranet - you must be over 18 and be a member of Inria staff to enter!

L'Association pour la Gestion des Oeuvres Sociales de l'Inria

My Main Research Interests

• Past

  Semantics of programming language, with as result Natural Semantics, its specification language (Typol) and its implementation in Prolog - Generation of programming environments, with the Centaur system - Functional Abstract Syntax (Higher-Order Abstract Syntax) - Quick prototyping of computer formalisms: from specifications to implementations and proofs - This work was done in the Croap group in which I was deputy leader from 1984 to 1994.

• Present

  How to apply software engineering technics and Natural Semantics to the Web, constructing tools to specify and check what a semanticaly correct Web site is. Analogies between ontologies and types

• Future

  GO!

Under Construction Forever !

Thierry Despeyroux