Rosario Pugliese

   Associate Professor at
       Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
       Università degli Studi di Firenze
       Viale Morgagni, 65
       I-50134 Firenze (ITALY)
  • e-mail:
  • tel: +39 055 275 1512

Personal Information

Pugliese received the Laurea degree in Scienze dell'Informazione from the Università di Pisa (ITALY), in 1991, and the Ph.D. degree in Informatica from the Università di Roma "La Sapienza" (ITALY), in 1996. Pugliese is associate professor at Dipartimento di Sistemi e Informatica, of Università di Firenze, since 2002. From 1999 till 2002, he has been research associate at the same Department.

Research interests

Pugliese's research interests include models, languages and tools for formal specification and verification of concurrent, distributed and mobile systems. The tools and the formal methods exploited in his investigations are mainly process calculi, equivalences, types, and modal and temporal logics. A few outcomes of this research are KLAIM (Kernel Language for Agents Interaction and Mobility), a programming language for concurrent, distributed and mobile systems, COWS (Calculus for Orchestration of Web Services), a process calculus for specifying and combining services while modelling their dynamic behaviour, and Blite (BPEL lite), a lightweight orchestration language designed around some of WS-BPEL peculiar features.

Publications      DBLP      Google Scholar      Academic Search      Scopus      ACM Digital Libriary

Research Projects

See also the Concurrency and Mobility Group homepage.



See also the Corsi di Studio in Informatica homepage.