Antonio Bucciarelli

Preuves, Programmes et Systèmes
Institut de Recherche en Informatique Fondamentale
Université Paris Diderot,
Bâtiment Sophie Germain
8 Place Aurélie Nemours 75013 Paris

3ème étage, bureau 3045 , tel. +33/(0)157279433,

email: buccia_at_irif.fr,