Ongoing

• PI of the MUR FARE Project "Compositional and Effectful Program Distances" (CAFFEINE), which started in November 2022 and will end in November 2025.
• Local Coordinator for the Spoke 10, "Quantum Computing" of the "ICSC National Research Centre for High Performance Computing, Big Data and Quantum Computing", which was created on September 1st, 2022.
• Local coordinator of the PRIN 2022 Project "Resource Awareness in Programming" (RAP, P2022HXNSC), which started in January 2024 and will end in December 2025.
• Member of the ANR Project "Higher-Order Probabilistic and Resource-Aware Reasoning" (HOPR, ANR-24-CE48-5521), which started in January 2025 and will end in December 2029.

Concluded

• PI of the ERC Consolidator Grant "Differential Program Semantics" (DIAPASoN, GA 818616), which started in March 2019 and ended in February 2024.
• Member of the ANR Project "Probabilistic Program Semantics" (PPS, ANR-19-CE48-0014).
• PI of the EA "Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction" (CRECOGI), which started in January 2015 and ended in December 2020.
• Member of the ANR Project "Reliable and Privacy-Aware Software Systems via Bisimulation Metrics" (REPAS, ANR-16-CE25-0011).
• Member of the ANR Project "Elargir les idees logiques pour l'analyse de complexite" (ELICA, ANR-14-CE25-0005).
• Member of the PRIN Project "Analizzare le Analisi di Programma" (ASPRA, PRIN2017).
• Member of the ANR Project "Processus non-standard: Analyse, Coinduction, et Expressivite" (PACE, ANR-12-IS02-001).