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 3022
 Bâtiment Sophie Germain
 3ème étage
 8 place Aurélie Nemours
 75013 Paris

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

RECHERCHE
Liste de Publications.

Centre d'intérêts : 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é:
LINKS