Arnaud Sangnier

Associate Professor

Université Paris Diderot (Paris VII)

Laboratoire IRIF

Team Modélisation et vérification

Name Arnaud Sangnier
Phone 01 57 27 92 41
Office 4008
Mail sangnier@irif.fr
Homepage https://www.irif.fr/~sangnier/main-sangnier.html