Welcome to my home page!

• Thierry Despeyroux
• INRIA -- Sophia Antipolis -- groupe AxIS
• Adresse: 2004, route des Lucioles - B.P. 93 - 06902 Sophia Antipolis Cedex, France
• Email: Thierry.Despeyroux@inria.fr
• WWW: http://www-sop.inria.fr/axis/AXIShtml/personnel/Thierry.Despeyroux/td-eng.html
  (If you don't know what is a fix point, click here. )
• Téléphone: +33 (0)4 92 38 77 07 Fax: +33 (0)4 92 38 77 83
• Research Interests

Professional Links On Line Publications Other Links

Music

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.

• Future

Under Construction Forever !

Thierry Despeyroux