Julien TESSON

Version Française
Assistant professor - Université Paris-est Créteil - Algorithmic, Complexity and Logic Laboratory

Research

My research interests in one sentence

I am interested in enhancing and pushing forward formal methods to ease the development of correct parallel programs.

My research interests in few keywords
parallel programming, language semantics, parallel programs verification, algorithmic skeletons, constructive algorithmics, program transformation, verified compiler, shallow and deep embedding of languages in proof assistant logic.
More Here

Teaching (in French)

Contact

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).