About Me
I am a researcher at the Centre Inria d’Université Côte d’Azur within the OLAS research team, headed by Davide Sangiorgi.
Research Interests
Rewriting,
Program Complexity Analysis,
Probabilistic and Quantum,
Pre-expectation based reasoning.
PhD Students and Postdocs
- Davide Davoli (joint supervision with Tamara Rezk and Ugo Dal Lago). 2022 — ongoing
- Gabriele Vanoni (1 year PostDoc, now at IRIF, Université Paris Cité) 2022 / 2023
Recent Publications
-
Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs with Gilles Barthe, Benjamin Grégoire, Georg Moser and Gabriele Vanoni.
-
On the Hardness of Analyzing Quantum Programs Quantitatively with Georg Moser, Romain Péchoux and Simon Perdrix.
-
On the Hardness of Analyzing Quantum Programs Quantitatively with Georg Moser, Romain Péchoux and Simon Perdrix.
Events
- FSCD 2023, Rome, Italy. July 3, 2023 – July, 2023
- TERMGRAPH 2022, Technion, Haifa, Israel. August 1, 2022 – August 1, 2022
- LCC’20, Saarbrücken [virtual], Germany. July 6, 2020 – July 6, 2020
- WST’20, Paris, France. June, 2020 – July, 2020
Activities
DFG Reviewer, IFIP 1.6 member, FSCD’23 PC member, WST’23 PC member, TERMGRAPH’22 PC member, WST’21 PC member, LCC’20 Organiser, HOR’19 Invited speaker, DICE-FOPARA’19 PC member, TCS DICE’18 Guest editor, DICE’17 Organiser, LCC’17 PC member, DICE’14 PC member, LCC’13 Invited speaker, PTR’13 Invited speaker
Current Projects
Higher-Order Probabilistic and resource-aware Reasoning (HOPR) January, 2025 – December, 2029
Site Leader. ANR PRC Project 2024. Université de Lille (CRIStAL), INRIA (Olas), Université de Rennes (IRISA).Probabilistic Programming Semantics (PPS) January, 2020 – December, 2024
Site Leader. ANR PRC Project 2019 (project number ANR-19-CE48-0014). INRIA, IRIF, LIPN, I2M.Termination and Complexity Properties of Probabilistic Programs (TC(Pro)³) February, 2020 – December, 2024
Project member. Inria associate team. Inria Nancy Grand-Est (Moqua), Inria Sophia (OLAS), University of Innsbruck.