Latest Posts

A logical account of subtyping for session types

16 April 2023

In this paper, my first collaboration with Ross Horne, we study a termination-preserving notion of subtyping for session types in a logical setting, where session types are propositions of μMALL, that is multiplicative/additive linear logic extended with least and greatest fixed points. We are amused by how simple it is to characterize subtyping in this logic! The paper has been presented at the PLACES 2023 workshop (slides here), whose open-access proceedings are available online.

TYPES 2023

13 February 2023

I’m happy to be a programme committee member of the International Conference on Types for Proofs and Programs (TYPES 2023) for the second year in a row. Check the call for papers for details about submissions and deadlines.

Invited talk at Forum Numerica

12 January 2023

It was a great pleasure to deliver an invited talk at the Forum Numerica seminar series today. You can find the slides in the talks section of this site.

All posts…

About Me

I'm an associate professor in Computer Science at the Computer Science Division of the School of Science and Technology of the University of Camerino. My research interests span both theory and practice in the areas of programming languages, type systems, concurrency theory, distributed computing and formal verification.

Contact Information

Public Profiles