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 the Computer Science Division at University of Camerino as an Associate Professor in November 2014, Tiezzi was an Assistant Professor at SysMA research unit in IMT Institute for Advanced Studies Lucca.
Tiezzi's research activity focusses on the foundational study of distributed, concurrent and reactive 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 Service-Oriented Computing (SOC) and Autonomic Computing (AC). Some outcomes of this research are COWS, a foundational language for SOC; Blite, a formal orchestration language inspired to but simpler than WS-BPEL; and SCEL, a kernel language for programming AC systems.
Recently, Tiezzi's research activity also concerns specification and analysis of: trust and reputation systems (an outcome is the NEVER tool), SLAs for cloud systems (an outcome is the SLAC language and tools), mobile cloud computing (an outcome is the MobiCa language and tools), and policy-based systems (an outcome is the FACPL language and tools).