Francesco Tiezzi

Francesco Tiezzi is an Associate Professor at Università degli Studi di Firenze, specializing in formal methods for distributed systems. His research develops foundational frameworks for service-oriented computing, autonomic systems, and blockchain applications. He leads projects like the Cherry-pi language for reversible session-based programming and contributes to EU-funded initiatives including SEDUCE and Reversible Computation.

Dr. Tiezzi teaches courses on formal methods and distributed systems, with previous appointments at University of Camerino and IMT Lucca. His work combines theoretical computer science with practical tool development for system verification.