Personal information:

I am associate professor of  Computer Science at the  Facoltà di Scienze Matematiche Fisiche e Naturali of Università di Firenze (School of Science, University of Florence). I am with the Dipartimento di Sistemi e Informatica. My previous tenure positions have been: assistant professor in the same School and assistant professor at the Università "La Sapienza", Rome (first appointment February 1996).  I have received a Ph.D. degree in Computer Science from the University "La Sapienza" (October 1995),  and a Laurea degree cum laude in Scienze dell'Informazione (Computer Science) from the University of Pisa (February 1991).

Research interests:

• formal methods for concurrent and distributed systems (process calculi and type systems)
• formal methods for security (protocol analysis, information leakage analysis)

Events

SECCO 2009 (PC co-chair)    CONCUR 2009 (PC member)    PLID 2009 (PC member)    ICE 2008 (PC member)   

ICALP 2007 (PC member - Track C)    FCS-ARSPA 2007 (PC member)    PLID 2007 (PC member)