Francesco Tiezzi's home page has moved.

Your browser will be automatically redirected to the new location. If the redirect doesn't work please click here

Francesco Tiezzi's homepage

   PhD student at
    Dipartimento di Sistemi e Informatica
    Università degli Studi di Firenze
    Viale Morgagni, 65
    I-50134 Firenze (ITALY)

   tel:  +39 055 4237441
   fax:  +39 055 4237436
   e-mail:  tiezzi dsi.unifi.it

Il computer non una
macchina intelligente che
aiuta le persone stupide,
anzi una macchina stupida
che funziona solo nelle mani
delle persone intelligenti.

(Umberto Eco)

Personal Information

Tiezzi received the Master degree cum laude in Informatica from the University of Florence (Italy), in January 2005. During 2005, he had a postdegree collaboration with the Department of Sistemi ed Informatica, University of Florence. From January 2006, Tiezzi is a PhD student at the same Department, under the supervision of Prof. Rosario Pugliese within the Concurrency and Mobility Group.

Research interests

Tiezzi's research interests include semantics of languages for Service-Oriented Computing (SOC), process calculi, type systems, models and tools supporting specification and verification of service-oriented systems, and web-based programming languages. An outcome of this research is COWS (a Calculus for Orchestration of Web Services), a new foundational language for SOC.

Publications©