Associate Professor at
Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
Università degli Studi di Firenze
Viale Morgagni, 65
I-50134 Firenze (ITALY)
Rosario Pugliese is Professore Associato (Associate Professor, January 2013 - today) of Computer Science at Dipartimento di Statistica, Informatica, Applicazioni (DiSIA). Previously, he has been Ricercatore Universitario (Assistant Professor, June 1999 - December 2002) and Professore Associato (Associate Professor, December 2002 - December 2012) at Dipartimento di Sistemi e Informatica, University of Florence. Pugliese received the Laurea degree cum laude in Computer Science from the University of Pisa in 1991 and the Ph.D. degree in Computer Science from the University of Rome ``La Sapienza'' in 1996. From 1996 till 1999, he has benefited from research fellowships and contracts funded by the National Research Council (CNR) and by the University of Florence.
Pugliese's research activity aims at tackling those foundational and applicative problems raised by today's concurrent, distributed and mobile systems, as e.g. service-oriented and autonomic computing systems. The goal is to devise formal models, languages and tools capable of capturing different and specific aspects of such complex systems, thus enabling the study of issues related to connectivity, interaction, security, adaptivity and autonomy. The formal methods and analysis techniques exploited in his investigations are mainly process calculi, observational semantics, types, and modal and temporal logics.
Publications DBLP Google Scholar Scopus ORCID ResearcherID ACM Digital Libriary
See also the Corso di Laurea triennale in Informatica and the Corso di Laurea magistrale in Informatica homepages.