Arnaud Sangnier

Assistant Professor

Laboratory LIAFA

Team Modelisation and verification

Postal address:
 LIAFA
 Université Paris Diderot - Paris VII
 Case 7014
 75205 Paris Cedex 13
 France

Where to find me:
 Room 6A7
 175 rue du Chevaleret
 75013 Paris

Mail: sangnier@liafa.jussieu.fr
Tel: +33-(0)1-57-27-92-45

My research works falls into the general framework of symbolic model-checking for infinite state systems.

• List of Publications.

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 Digiteo VECOSI
• Project ANR Blanc ImpRo
• Project VERIDYC

List of the projects I was involved in :

• Project AVERILES
• Project AVERISS

During my PhD, I have implemented a tool to verify programs working over single linked lists :

• Web page of the tool TOPICS (Translation of Programs Into Counter Systems)

• 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