Arnaud Sangnier

Docteur en Informatique

Après un premier séjour post-doctoral au département d'Informatique de l'université de Turin financé par une bourse de la DGA, je suis actuellement post-doctorant au département d'Informatique de l'université de Gênes. Je travaille là-bas avec Giorgio Delzanno sur la vérification de systèmes infinis.

MA NOUVELLE PAGE WEB

Événements passés

Le 21 Novembre 2008, j'ai soutenu ma thèse

Publications

Cliquer ici pour voir une liste complète de mes publications.

Outils

Pendant ma thèse, j'ai développé un outil pour vérifier des programmes manipulant dynamiquement la mémoire : TOPICS. Pour accèder à la page web de TOPICS, cliquer ici

Projets

Projet RNTL AVERILES : Analyse et vérification de logiciels embarqués avec structures de données dynamiques

Projet AVeriSS: Automated Verification of Software Systems

Enseignements

Année 2007-2008 (Vacataire à l'université Paris Dauphine)
- TD Réseaux couches basses

Année 2006-2007 (Vacataire à l'ENS de Cachan):
- Projet Programation Réseaux
- Projet Programmation JAVA

Divers

Le rapport du stage que j'ai réalisé au département d'informatique de l'université de Turin est disponible ici. Le sujet de mon stage était : Vers la vérification de réseaux de Petri colorés temporels.