Arnaud Sangnier
Assistant Professor
University Paris Diderot (Paris VII)
Laboratory IRIF
Team Modelisation and verification

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

Where to find me:
 Room 4008B
 Bâtiment Sophie Germain
 4th floor
 8 place Aurélie Nemours
 75013 Paris

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

RESEARCH
List of Publications.

Topics of interests: I have defended my PhD thesis in November 2008. The title was Verification of programs with counters and pointers. My supervisors were Alain Finkel and Étienne Lozes. During the year 2009, I was a post-doctoral fellow at the Department of Computer Science of the University of Torino and I was working together with Jeremy Sproston. From January till September 2010, I was working at DISI together with Giorgio Delzanno.
TEACHING
PROJECTS
List of the projects I am involved in : List of the projects I was involved in :
LINKS