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.Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction June, 2015 – June, 2020
Project member. INRIA associate team. INRIA (Focus), University of Bologna, Université Paris Cité (IRIF), Kyoto University, NII (Hasuo-Lab).Expanding Logical Ideas for Complexity Analysis (ELICA) October, 2014 – September, 2019
Project member. ANR Digital Foundations (DS0705) 2014 (project number ANR-14-CE25-0005). INRIA (Focus, Carte), Paris 6 (LIP6), Paris 7 (IRIF), Paris 13 (LIPN), Paris Paris-Est Créteil (LACL), ENS Lyon (Plume).Higher-Order Complexity Analysis of Rewrite Systems April, 2014 – May, 2017
Principle investigator. FWF Schrödinger Fellowship (project number J-3563). University of Bologna / University of Innsbruck.Improving Certifiers for Termination Proofs December, 2013 – March, 2014
Research assistant. FWF standalone project (project number P22767). University of Innsbruck.Structural and Computational Proof Theory November, 2012 – May, 2013
Research assistant. Bilateral research project between ANR and FWF (project number I608-N18). University of Innsbruck.Automated Complexity Analysis November, 2011 – October, 2012
Principal investigator. Doctoral fellowship (project number NWF-2011/2/Mip7). University of Innsbruck.Derivational Complexity Analysis October, 2008 – August, 2011
Research assistant. FWF standalone project (project number P20133). University of Innsbruck.