Arnaud Sangnier Associate Professor Université Paris Diderot (Paris VII) Laboratoire IRIF Team Modélisation et vérification Nom Sangnier Prénom Arnaud Téléphone 01 57 27 92 58 Bureau 3022 Mail Arnaud.Sangnier@irif.fr Page web https://www.irif.fr/~sangnier/main-sangnier.html