Arnaud Sangnier

Assistant Professor

Laboratory IRIF

Team Modelisation and verification

Responsible of M2 IMPAIRS

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

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

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

• 15th December 2022:
  Verification of Infinite State Systems Day @ IRIF and HDR Defense

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 FREDDA- principal coordinator
• Project ANR PACS

List of the projects I was involved in :

• Project AVERILES
• Project AVERISS