Arnaud Sangnier

Post-Doctoral Fellow

I AM NOW HERE.

DISI
Universitŕ di Genova
Ufficio 307
Via Dodecaneso 35
16146 Genova
Italy

Mail : sangnier@disi.unige.it
Tel : +39-010-353-6707

• Submit to INFINITY 2010 - 21st September 2010 in Singapore with ATVA'10

My research works falls into the general framework of symbolic model-checking for infinite state systems. I am currently working at DISI together with Giorgio Delzanno.

• 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.

List of the projects I am/was involved in :

• Projet AVERILES
• Projet 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