Rosario Pugliese

Associate Professor at        Dipartimento di Sistemi e Informatica        Università degli Studi di Firenze        Viale Morgagni, 65        I-50134 Firenze (ITALY) e-mail: rosario.puglieseunifi.it tel: +39 055 4237450 fax: +39 055 4237436

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.

Research Projects

See also the Concurrency and Mobility Group homepage.

Teaching

See also the Corsi di Studio in Informatica homepage.