Michele Boreale

Associate professor
UniversitÓ di Firenze
Dipartimento Statistica, Informatica, Applicazioni "G. Parenti"


Contact info:

Email: michele.boreale[at]unifi.it

Address:
Dipartimento di Statistica, Informatica, Applicazioni
Viale Morgagni, 65
I -50134 Firenze Italy

Phone.: +39 055 2751510
Fax: +39 055 4223560

Personal information:

I am associate professor of Computer Science (Informatica) at UniversitÓ di Firenze, Dipartimento di Statistica, Informatica, Applicazioni, Scuola di Scienze. 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)
  • quantitative methods for security (protocol analysis, information flow analysis)

Papers

STA tool

Teaching (Didattica, in italian)

Projects

Events: