Arnaud Sangnier
Assistant Professor
University Paris Diderot (Paris VII)
Laboratory
IRIF
Team
Modelisation and verification
Postal address:
IRIF
Université Paris Diderot - Paris VII
Case 7014
Bâtiment Sophie Germain
75205 Paris Cedex 13
France
Where to find me:
Room 3022
Bâtiment Sophie Germain
3rd floor
8 place Aurélie Nemours
75013 Paris
Mail:
sangnier@irif.fr
Tel:
+33-(0)1-57-27-92-58
NEWS
From 22nd to 26th May 2020 : Conference
Algotel 2020
- PC Member
From 22nd to 26th June 2020 : Conference
Petri nets 2020
- PC member
RESEARCH
List of
Publications
.
Topics of interests:
Verification of infinite state systems
Model-checking
Parameterized verification
Verification of Distributed Algorithms
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
. From January till September 2010, I was working at
DISI
together with
Giorgio Delzanno
.
TEACHING
My teaching web page
(in french)
PROJECTS
List of the projects I am involved in :
Project
ANR FREDDA
- principal coordinator
Project
ANR PACS
List of the projects I was involved in :
Project
AVERILES
Project
AVERISS
LINKS
The
Department of Computer Science
of the University of Genova
The
Department of Computer Science
of the University of Torino
The laboratory where I did my PhD:
Laboratoire Spécification et Vérification
My previous web page