I am interested in enhancing and pushing forward formal methods to ease the development of correct parallel programs.
LACL, Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
F-94010 Créteil Cedex
E-mail: julien.tesson_lacl.fr (please replace _ by @ to have a correct email address).