Arnaud Sangnier
Maître de conférences
Université Paris Diderot (Paris VII)
Laboratoire IRIF
Équipe Modélisation et vérification

Adresse Postale:
 IRIF
 Université Paris Diderot - Paris VII
 Case 7014
 Bâtiment Sophie Germain
 75205 Paris Cedex 13
 France

Où me trouver:
 Bureau 4008B
 Bâtiment Sophie Germain
 4ème étage
 8 place Aurélie Nemours
 75013 Paris

Mail: sangnier@irif.fr
Tél: +33-(0)1-57-27-92-41

RECHERCHE
Mon travail recherche rentre dans le cadre général du model-checking symbolique de systèmes infinis. J'ai soutenu ma thèse de doctorat en Novembre 2008. Le titre était Vérification de systèmes avec compteurs et pointeurs. Mes directeurs de thèse étaient Alain Finkel et Étienne Lozes.

Pendant l'année 2009, j'étais post-doctorant au Département d'Informatique de l'Université de Turin où je travaillais avec Jeremy Sproston. De Janvier à Septembre 2010, j'étais post-doctorant au DISI de l'Université de Gênes où je travaillais avec Giorgio Delzanno.
ENSEIGNEMENT
PROJETS
Liste des projets auxquels je particie: Liste des projets auxquels j'ai participé:
OUTILS
Pendant ma thèse, j'ai développé un outil pour vérifier les programmes manipulant des listes simplement chaînées:
LINKS