Mathieu Sassolas

General info

Photo de Mathieu Sassolas

Assistant professor at Université Paris-Est–Créteil — Val de Marne
Department of Computer Science, IUT de Sénart-Fontainebleau
Member of the “Spécification et Vérification de Systèmes” team of the Laboratoire d'Algorithmique, Complexité et Logique (LACL)
E-mail address: mathieuDOTsassolasATu-pecDOTfr

Activities

Short CV Research (and list of publications) Teaching (fr)