Rosario Pugliese

Biography

I am a full professor of Computer Science (Informatica - INF/01) at the Department of Statistics, Computer Science, Applications “G. Parenti” - DiSIA of the 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 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 to 1999, I benefited from research fellowships and grants funded by the National Research Council (CNR) and the University of Florence. 

Research interests

My research activity aims to tackle the 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, and 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.