Ricevimento studenti su appuntamento (via email)
Tiezzi si è laureato con lode in Informatica presso l'Università degli Studi di Firenze nel Gennaio 2005. Ha ottenuto il Dottorato di ricerca in Informatica e Applicazioni presso il Dipartimento di Sistemi e Informatica della stessa università nell'Aprile 2009.
Prima di entrare a far parte del Dipartimento di Statistica, Informatica e Applicazioni dell'Università degli Studi di Firenze come Professore Associato nel Settembre 2021, Tiezzi è stato Professore Associato presso il PROS Lab dell'Università di Camerino, e Ricercatore a Tempo Determinato presso l'unità di ricerca SysMA dell'IMT Alti Studi Lucca.
Il CV di Tiezzi può essere scaricato da qui. Le pubblicazioni di Tiezzi sono elencate anche sul sito web DBLP.
L’attività di ricerca di Tiezzi è incentrata sullo studio di sistemi distribuiti e sull’applicazione di metodi formali per lo sviluppo ed analisi di tali sistemi. Particolare attenzione è rivolta alla definizione di basi formali e rigorose per Service-Oriented Computing, Autonomic Computing e Business Process Management.
L’attività di ricerca di Tiezzi si focalizza anche su formalizzazione, analisi ed implementazione di: meccanismi per il controllo degli accessi; Service Level Agreement per sistemi cloud; sistemi di mobile cloud computing; sistemi di reputazione; linguaggi e tipi per reversible computing; applicazioni basate su blockchain.
Legenda
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.
Tiezzi's CV is available here. here. Tiezzi's publications are also listed in the DBLP web site.
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, Autonomic Computing, and Business Process Management.
Recently, Tiezzi's research activity also concerns formalisation, analysis and implementation of: access control mechanisms; Service Level Agreements for cloud systems;mobile cloud computing systems; trust and reputation systems; languages and types for reversible computing; blockchain-based applications.