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.

MY NEW WEB PAGE

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

Project RNTL AVERILES : French National Project about the Analysis and verification of embedded softwares with dynamic data structures.

Project AVeriSS: Automated Verification of Software Systems

Teaching

Year 2007-2008 (at Université Paris Dauphine)
- Network

Year 2006-2007 (at ENS de Cachan):
- Net work Programing Project
- Java Programing Project

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.