Arnaud Sangnier

Assistant Professor

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

List of Publications.

Topics of interests:

• Verification of infinite state systems
• Model-checking
• Parameterized verification
• Verification of Distributed Algorithms

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.

• My teaching web page (in french)

List of the projects I am involved in :

• Project ANR PACS

List of the projects I was involved in :

• Project AVERILES
• Project AVERISS

• The Department of Computer Science of the University of Genova
• The Department of Computer Science of the University of Torino
• The laboratory where I did my PhD: Laboratoire Spécification et Vérification
• My previous web page