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
- Mehdi Golpayegani (joint supervision with Benjamin Gregoire. 2025 — ongoing
- Davide Davoli (joint supervision with Tamara Rezk and Ugo Dal Lago). 2022 — 2025
- Gabriele Vanoni (1 year PostDoc, now at IRIF, Université Paris Cité). 2022 / 2023
Recent Publications
-
A Quantitative Probabilistic Relational Hoare Logic with Gilles Barthe, Davide Davoli and Benjamin Grégoire.
-
Weighted Rewriting with Akihisa Yamada.
-
Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation with Davide Davoli and Tamara Rezk.
Events
-
ESOP 2027, Copenhagen, Denmark. April 10, 2027 – April 15, 2027
-
WPTE 2026, Lisbon, Portugal. July 19, 2026 – July 19, 2026
-
OOPSLA 2026, Oakland, California. October 3, 2026 – October 9, 2026
-
WPTE 2025, Birmingham, UK. July 20, 2025 – July 20, 2025
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).
Activities
ESOP 2027 (PC), WPTE 2026 (PC), WPTE 2025 (PC), FSCD’23 (PC), WST’23 (PC), TERMGRAPH’22 (PC), WST’21 (PC), LCC’20 (Organiser), HOR’19 (Invited speaker), DICE-FOPARA’19 (PC), TCS DICE’18 (Guest editor), DICE’17 (Organiser), LCC’17 (PC), DICE’14 (PC), LCC’13 (Invited speaker), PTR’13 (Invited speaker), DFG (Reviewer), IFIP 1.6 (member)