Francesco Tiezzi
Contacts
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)unifi.it
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:
Service-Oriented Computing (an outcome is the COWS language and tools);
Autonomic Computing (an outcome is the SCEL language and tools);
Business Process Management (outcomes are the BProVe, RePROSitory and MIDA tools).
Recently, Tiezzi's research activity also concerns formalisation, analysis and implementation of:
access control mechanisms (an outcome is the FACPL language and tool);
Service Level Agreements for cloud systems (an outcome is the SLAC language and tool);
mobile cloud computing systems (an outcome is the MobiCa language and tool);
languages and types for reversible computing (an outcome is the Cherry-pi language);
blockchain-based applications (an outcome is the ChorChain and Multi-Chain tools).
Projects
SEDUCE (Designing Spatially Distributed Cyber-Physical Systems under Uncertainty, PRIN 2017) funded by MIUR
Reversible Computation (COST Action IC1405 on reversible computation) funded by the European Union
Sistemi Reversibili Concorrenti: dai Modelli ai Linguaggi, funded by GNCS-INdAM
MIRACLE (Marche Innovation and Research fAcilities for Connected and sustainable Living Environments), funded by Regione Marche
Progetto di prevenzione e contrasto al bullismo (L.R. 32/2018), funded by Regione Marche
ASCENS (Autonomic service-component ensemble) funded by the European Union
CINA (Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society, PRIN 2011) funded by MIUR
QUANTICOL (A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours) funded by the European Union
SENSORIA (Software Engineering for Service-Oriented Overlay Computers) funded by the European Union
DISCO (Distribution, Interaction, Specification, Composition for Object Systems, PRIN 2009) funded by MIUR