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.
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
-
Year 2007-2008 (at Université Paris Dauphine)
-
Year 2006-2007 (at ENS de Cachan):
Divers
- The report of the training period that I realized at the department of
computer science of the university of Torino is available
here. The subject of this training period was : Toward
verification of Time Coulored Petri Nets.