Loading ...
Since 2024 he is full professor in the Department of Computer Science and Engineering. His research interests lie in the application of formal methods to the analysis and verification of concurrent and distributed systems. He has made both theoretical and practical contributions to the development of behavioral types for concurrency models and programming languages. He has held positions as a researcher and associate professor at the Universities of Urbino, Torino, and Camerino. He has also been a visiting researcher at various institutions and research laboratories, including the Ontario Research Centre for Computer Algebra, INRIA Rocquencourt, INRIA Sophia-Antipolis, and the Preuves, Programmes et Systèmes laboratory in Paris.