Bienvenue sur ma page d'accueil !

• 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-fr.html
  (Si vous ne savez pas ce qu'est un point fixe, cliquez ici. )
• Téléphone: +33 (0)4 92 38 77 07 Fax: +33 (0)4 92 38 77 83
• Domaines de recherche

Liens professionnels Publications Autres liens

Musique

Intranet - vous devez avoir plus de 18 ans et être membre du personnel de l'Inria pour entrer!

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

Mes principaux domaines de recherche

• Passé

  La sémantique des langages de programmation, avec comme résultat la Sémantique Naturelle, son langage de spécification Typol et son implémentation en Prolog - La génération d'environnements de programmation, avec le système Centaur - La syntaxe abstraite fonctionnelle (syntaxe abstraite d'ordre supérieure) - La réalisation rapide de prototypes de langages informatiques: de leur spécification à leur implémentation et aux possibilités de preuves les concernant - Ce travail a été mené au sein de l'équipe Croap dont j'ai été responsable permanent de 1984 à 1994.

• Présent

  L'application des méthodes issues du génie logiciel et de la Sémantique Naturelle au Web pour pouvoir construire des outils qui permettent de définir et de vérifier la cohérence sémantique d'un site Web.

• Futur

Chantier perpétuel !

Thierry Despeyroux