Arnaud Sangnier

PhD in Computer Science

After a first post-doctoral stay at department of Computer Science of the University of Torino, I am currently post-doctoral fellow at Department of Computer Science of the University of Genova. I am working there together with Giorgio Delzanno on the verification of infinite state systems.



Past events

The 21st Novembrer 2008, I have defended my PhD.

Selected publications

Click here to view a complete list of my publications.

Tools

During my PhD, I have implemented a tool to verify programs which manipulated dynamically the memory heap, TOPICS. To access the homepage of TOPICS, click here.

Projects

Teaching

Divers

About LSV

Contact

Arnaud Sangnier
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Secr.
+33 (0)1 47 40 75 20
E-Mail
sangnier@lsv.ens-cachan.fr