Full Professor at
Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
Università degli Studi di Firenze
Viale Morgagni, 65
I-50134 Firenze (ITALY)
I am a full professor of Computer Science (Informatica) at Dipartimento di Statistica, Informatica, Applicazioni (DiSIA), University of Florence. Previously, I was been an 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.
I authored more than 120 peer-reviewed publications in international journals, books, or conference proceedings. I was a member of the program committee or the organizing committee of international conferences and workshops. Currently, I am a member of the Steering Committee of the “International Conference on Coordination Models and Languages (COORDINATION)” and of the Editorial Board of the open-access journal Computers (ISSN 2073-431X). I have contributed to several research projects funded by the EU (projects AGILE, MIKADO, SENSORIA, ASCENS), the Italian Ministry of Education and Research (MIUR) (projects NAPOLI, SALADIN, TOSCA, DISCO, CINA), the National Research Council (CNR, project SP4), and Microsoft Research (project NAPI). I was the leader of the Firenze research unit involved in the EU-funded project ASCENS (Autonomic Service-Component Ensembles). Recently, I have coordinated the project “Assessment cybersecurity readiness”, funded by Regione Toscana. I was the Coordinator of the Ph.D. program in Informatica e Applicazioni at the University of Florence. Currently, I am a member of the Board of Study of the Ph.D. program in Computer Science administered by the University of Pisa, in cooperation with the University of Firenze and the University of Siena. I am currently the chair of the Council of study courses in Computer Science at the University of Florence. In the years from 2002 to 2005, I was been the Coordinator of two formative projects `Moduli Professionalizzanti nelle nuove Lauree Universitarie’, entitled 'Operatore Informatico per l'Azienda' (OIPA), funded by Regione Toscana through the Fondo Sociale Europeo. At the University of Florence, for the three-year, five-year (old system), specialist, and master's degree courses in Computer Science, I held or hold the following courses: Security Engineering (in English), Operating Systems, Distributed Systems and Computer Networks, Distributed and Concurrent Systems, Network Programming, Languages and Models for Mobile Systems, Models of Sequential and Concurrent Systems, Formal methods: concurrency semantics, Programming Lab, Operating Systems Lab, and System Programming Lab. For Ph.D. programs in Computer Science at the University of Florence, I held the following courses: Introduction to process calculi and related type systems (in collaboration with Ilaria Castellani), Languages and Models for Mobile Systems, and Concurrency Semantics, the last two ones in several academic years.
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 connectivity, interaction, adaptivity, and security issues. Process calculi, observational semantics, types, modal and temporal logics are some of the formal methods and analysis techniques exploited in his investigations. In my research activity, theoretical and methodological investigations to define appropriate descriptive tools and tractable proof techniques are integrated with the project and the implementation of both experimental languages for distributed programming and (semi-)automatic supporting tools for property verification.
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.