Jean Fortin

Courriel : jean.fortin@ens-lyon.org

LACL, Faculté des Sciences et Technologies
Université Paris XII
61 avenue du Général de Gaulle
94010 Créteil cedex

Sujet de thèse : Programmer BSP en toute sécurité
Mots-clés : vérification, parallélisme, sémantiques formelles, assistants de preuve
Directeurs de thèse : F. Gava, E. Pelz
BSP-Why
Publications
Enseignements (Teaching)