The paper An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus has been accepted at the 33rd International Conference on Concurrency Theory (CONCUR 2022).
The paper Fair Termination of Multiparty Sessions is one out of three distinguished papers at the 36th European Conference on Object-Oriented Programming (ECOOP 2022). In the picture Luca Ciccone receives the award from Karim Ali at the ceremony.
The paper Fair Termination of Multiparty Sessions, written with Luca Ciccone and Francesco Dagnino, has been accepted at the 36th European Conference on Object-Oriented Programming (ECOOP 2022). This is a follow up of previous work in which we apply our technique ensuring fair termination to multiparty sessions. In this work we also present a new sound and complete characterization of fair subtyping which is substantially simpler than previous ones and does not require auxiliary definitions or the use of a generalized inference system.
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.