Michele Boreale

Associate professor
Dipartimento di Sistemi e Informatica
Università di Firenze





Contact:

e-mail: boreale[at]dsi.unifi.it

Dipartimento di Sistemi e Informatica
Viale Morgagni, 65
I -50134 Firenze Italy

Tel.: +39 055 4237453
Fax: +39 055 4237436

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)
  • functional and quantitative methods for security (protocol analysis, information leakage analysis)

Papers

STA tool

Teaching (Didattica, in italian)

Projects

       

Events: