Francesco Tiezzi

Computer Science - School of Science And Technology - University of Camerino

Contacts

Prof. Francesco Tiezzi

University of Camerino, School of Science and Technology, Computer Science Division

Via Madonna delle Carceri, 9 - 62032 Camerino (MC) - Italy

Phone: +39 0737 402593

Email: francesco.tiezzi@unicam.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 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.

Research interests

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).

Projects

• • ASCENS (Autonomic service-component ensemble) funded by the European Union

  • Reversible Computation (COST Action IC1405 on reversible computation) 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

Conferences and Workshops

• Member of the Steering Committee of WWV

  • Member of the Program Committees of HEALTHINF2011, INFOCOMP2011, WWV2011 (Chair), HEALTHINF2012, INFOCOMP2012, WWV2012 (Chair), ICE2012, FOCLASA2012, SAC-SOAP2013, HEALTHINF2013, MOSPAS2013, WWV2013, FOCLASA2013, INFOCOMP2013, HEALTHINF2014, SAC-SOAP2014, MOSPAS 2014 (Chair), WWV 2014, GLOBAL HEALTH 2014, FOCLASA 2014, FoCAS@SASO14, HEALTHINF 2015, SAC-CM 2015 (Chair), ICTCS 2015, HPCS 2015, FoCAS@SASO 2015, HEALTHINF 2016, SAC CM 2016, SAC SOAP 2016, MOBIMEDIA 2016, PLACES 2016, SEFM 2016, SAC CAS 2017, PDP 2017, SEFM 2017, SAC CAS 2018.

• Guest Editor of the special issue of the Journal of Logic and Algebraic Programming on Automated Specification and Verification of Web Systems

• Publicity Chair of DisCoTec2013

Teaching

• Courses at University of Camerino

  • Ascens Spring School (PhD school, IMT Lucca, March 2015)

  • Past courses

Seminars

• • Dalle criptovalute alla tracciabilità di beni e prodotti: il fenomeno emergente della Blockchain!, Eventi divulgativi "Nuove ed emergenti prospettive per la società digitale", 9 aprile 2020

Publications

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