about me

I was born on March 24, 1984 in Treviso.
I received the bachelor (109/110) and master degrees (summa cum laude) in Computer Scienze from the Ca' Foscari University of Venice respectively in 2006 and 2008.
My bachelor thesis consisted of an application in Java that implements cryptography algorithm (DES, Triple DES, RSA) with different encryption mode, whereas my master thesis' title was: "ESC: a languages for secure communication".
Since 2009, I am a PhD student in Computer Science at Ca' Foscari University of Venice and Paris Diderot (Paris 7), and I'm a memeber of the Abstract interpretation group of Patrick Cousot at ENS (École Normale Supérieure, Paris). My supervisors are A. Cortesi and R. Cousot.
My main research interest are security, formal methods, verification of security properties and static analysis. To be more precise security analysis by abstract interpretation.




Dipartimento di Informatica
Università Ca' Foscari
Via Torino, 155
30173 Venezia Mestre, Italy
Département d'Informatique
École normale supérieure
45, rue d'Ulm
75230 Paris Cedex 05, France


phone: +39 041 234 8452
fax: +39 041 234 8419
phone: +33 14 432 2163
fax: +33 14 432 2080


mail: zanioli@dsi.unive.it
GPG key: public_key


Locations of visitors to this page