Francesco Tiezzi


Dipartimento di Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)

Università degli Studi di Firenze 

Viale Morgagni, 65 - 50134 Firenze, Italy

Phone: +39 055 2751514

Email: francesco.tiezzi(AT)

Personal Information

Tiezzi received a Laura degree cum laude in Computer Science from the Università degli Studi di Firenze, Italy (January 2005) and a Ph.D. degree in Computer Science from the same university (April 2009).

Before joining DiSIA at the Università degli Studi di Firenze as an Associate Professor in September 2021, Tiezzi was an Associate Professor at the PROS Lab in the University of Camerino, and an Assistant Professor at the SysMA research unit in IMT Institute for Advanced Studies Lucca.

Research interests

Tiezzi's research activity focusses on the foundational study of distributed systems, and on the application of formal methods for developing and analysing such systems. Special attention is paid to the definition of rigorous formal bases for:

Recently, Tiezzi's research activity also concerns formalisation, analysis and implementation of: 



Most of Tiezzi's publications can be found in the DBLP web site. They are also listed in his CV.