I'm a researcher of Computer Science at University of Firenze. My research activity is centered on the study of formal techniques for specifying and verifying the behaviour of concurrent and distributed systems.
Dipartimento di Sistemi e Informatica
Viale Morgagni, 65
Tel: +39 055 4237449
Fax: +39 055 4237436
E-mail: michele [dot] loreti [at] unifi [dot] it