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
NEWS
RESEARCH
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. 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.
PROJECTS
List of the projects I am/was involved in :
TOOLS
During my PhD, I have implemented a tool to verify programs working over single linked lists :
LINKS