Arnaud Sangnier

Post-Doctoral Fellow

Financed by the french DGA

I AM NOW HERE.

Dipartimento di Informatica
Universitŕ degli studi di Torino
Office of Jeremy Sproston
Corso Svizzera 185, 10149 Torino, Italy

Mail : sangnier@di.unito.it

My research works falls into the general framework of symbolic model-checking for infinite state systems. I am at the University of Genova to work at DISI together with Giorgio Delzanno. Here is my new web page.

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

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 Torino
• My previous laboratory : Laboratoire Spécification et Vérification
• My previous web page