Michele Boreale

Professor of Computer Science (Informatica, SSD INF/01)
Università di Firenze
Dipartimento Statistica, Informatica, Applicazioni "G. Parenti"


Email: michele.boreale[at]unifi.it

Address:
Dipartimento di Statistica, Informatica, Applicazioni "G. Parenti" (DiSIA)
Viale Morgagni, 65
I -50134 Firenze Italy

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

Personal information

I am a full professor of Computer Science (Informatica, SSD INF/01) at the Dipartimento di Statistica, Informatica, Applicazioni (DiSIA), and a member of the Scuola di Scienze Matematiche, Fisiche e Naturali (School of Science) at Università di Firenze. Previously, I have been an assistant professor at the Università "La Sapienza", Rome (first appointment February 1996), and an assistant and then associate professor at the Università di Firenze. I have received a Ph.D. degree in Computer Engineering from the Università "La Sapienza" (October 1995), and a Laurea (Master) degree cum laude in Scienze dell'Informazione (Computer Science) from the Università di Pisa (February 1991).

Research interests

Formal methods for:
  • continuous dynamical systems (invariants and safety verification for ODEs)
  • concurrent and distributed systems (process calculi, type systems, bisimulation)
  • quantitative information flow (information theory)

Publications

STA tool (not maintained)

Teaching (Didattica, in italian)

Projects

Some old events