Associate Professor at
Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
Università degli Studi di Firenze
Viale Morgagni, 65
I-50134 Firenze (ITALY)
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.
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
See also the Concurrency and Mobility Group homepage.
See also the Corsi di Studio in Informatica homepage.