Julien Tesson home page

Maitre de conférence - Université Paris-est Créteil - UFR Droit et Laboratoire d'Algorithmique, Complexité et Logique
Ce site n'est pas à jour, j'y remédierai au plus tôt...

Recherche

Je m'intéresse actuellement au développement de programmes parallèles sûrs. Ma recherche porte notamment sur l'utilisation d'un assistant de preuve (Coq) pour prouver la correction fonctionnelle de programmes parallèles (BSML) et sur l'utilisation de squelettes algorithmique pour factoriser les efforts de développement et de preuve de correction.

En quelques mots-clefs :

Langages structurés pour la programmation parallèle
Modélisation de langage et assistant de preuve
Transformation de programme et preuve de correction fonctionnelle

Actualité

Co-responsable du groupe de travail LaMHA du GdR GPL(depuis mi-juin 2015)
Comité de programme ICE 2016

Enseignements, cliquez ici

Contact

Bureau P2-223
LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil Cedex

E-mail: julien.tesson_lacl.fr (remplacez _ par @).