Associate Professor at
Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
Università degli Studi di Firenze
Viale Morgagni, 65
I-50134 Firenze (ITALY)
I am associate professor of Computer Science (Informatica) at Dipartimento di Statistica, Informatica, Applicazioni (DiSIA), University of Florence. Previously, I was been associate professor and assistant professor (first appointment in June 1999) at Dipartimento di Sistemi e Informatica, University of Florence. I have received a Ph.D. degree in Computer Science (Informatica) from the Sapienza University of Rome in 1996, and a Laurea degree cum laude in Computer Science (Scienze dell'Informazione) from the University of Pisa in 1991. In 1992 and, then, from 1996 till 1999, I have benefited from research fellowships and grants funded by the National Research Council (CNR) and by the University of Florence.
My research activity aims at tackling those foundational and applicative problems raised by today's concurrent, distributed and mobile systems, such as e.g. service-oriented architectures, autonomic computing systems and cyber-physical systems, working within open-ended and highly dynamic environments. 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, adaptivity and security. Process calculi, observational semantics, types, modal and temporal logics are some of the formal methods and analysis techniques exploited in my investigations.
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.