Arnaud Sangnier
Assistant Professor
Université de Paris
Laboratory IRIF
Team Modelisation and verification
Responsible of M2 IMPAIRS

Postal address:
 Université de Paris
 Case 7014
 Bâtiment Sophie Germain
 75205 Paris Cedex 13

Where to find me:
 Room 3022
 Bâtiment Sophie Germain
 3rd floor
 8 place Aurélie Nemours
 75013 Paris

Tel: +33-(0)1-57-27-92-58

Theoretical Computer Scientists for Future
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.
List of the projects I am involved in : List of the projects I was involved in :