Dipartimento di Sistemi e Informatica
Università degli Studi di Firenze
Viale Morgagni, 65
I-50134 Firenze (ITALY)
- e-mail: pugliese@dsi dot unifi dot it
- tel: +39 055 4237450
- fax: +39 055 4237436
|
|
Associate Professor at
Dipartimento di Sistemi e Informatica 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 semantics of concurrent programming and specification languages, models and tools supporting specification and verification of concurrent, distributed and mobile systems, and programming languages for network computing. Two outcomes of this research are KLAIM (Kernel Language for Agents Interaction and Mobility), a programming language for concurrent, distributed and mobile systems, and COWS (Calculus for Orchestration of Web Services), a process calculus for specifying and combining services, while modelling their dynamic behaviour.
Publications (from DBLP)
See also the Concurrency and Mobility Group homepage.
See also the Corsi di Studio in Informatica homepage.