Home
I am a researcher at INRIA Sophia Antipolis Méditerranée within the FoCUS research team. I graduated from the University of Innsbruck in 2013.
Research Interests
Rewriting, Complexity Analysis, Probabilistic Computation, Implicit Computational Complexity
Activities
DFG Reviewer, IFIP 1.6 Secretary, 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
Events
- 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
- ISR’19, Paris, France. July 1, 2019 – July 6, 2019
Recent Publications
-
M. Avanzini and G. Barthe U. Dal Lago. “On Continuation-passing Transformations and Expected Cost Analysis”. Proceedings of the ACM on Programming Languages 5, 2021. Association for Computing Machinery. © Creative Commons License - ND.
-
M. Avanzini and G. Moser and M. Schaper. “A Modular Cost Analysis for Probabilistic Programs”.
-
M. Avanzini and U. Dal Lago and A. Yamada. “On Probabilistic Term Rewriting”. (Preprint). Science of Computer Programming 185:102338, 2019. Elsevier. © Creative Commons License - ND.
Current Projects
I am currently involved in the following project(s).
- Probabilistic Programming Semantics January, 2020 – December, 2024
ANR PRC Project 2019 (DS0705) 2014 (project number ANR-19-CE48-0014). INRIA, IRIF, LIPN, I2M.