Page

• Home
• Bio
• Teaching
• Publications
• Projects
• Events
• Software

External

• DBLP
• Research Gate
• HAL

Projects

• Probabilistic Programming Semantics January, 2020 – December, 2024
  ANR PRC Project 2019 (DS0705) 2014 (project number ANR-19-CE48-0014).
  INRIA, IRIF, LIPN, I2M.
• Concurrent, Resourceful and Effectful COmputation, by Geometry of Interaction June, 2015 – June, 2020
  Multilateral research project with members from France, Italy and Japan.
  University of Bologna / INRIA Sophia-Antipolis.
• Expanding Logical Ideas for Complexity Analysis October, 2014 – September, 2019
  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
  FWF Schrödinger Fellowship (project number J-3563).
  University of Bologna / University of Innsbruck.
• Improving Certifiers for Termination Proofs December, 2013 – March, 2014
  FWF standalone project (project number P22767).
  University of Innsbruck.
• Structural and Computational Proof Theory November, 2012 – May, 2013
  Bilateral research project between ANR and FWF (project number I608-N18).
  University of Innsbruck.
• Automated Complexity Analysis November, 2011 – October, 2012
  Doctoral fellowship (project number NWF-2011/2/Mip7).
  University of Innsbruck.
• Derivational Complexity Analysis October, 2008 – August, 2011
  FWF standalone project (project number P20133).
  University of Innsbruck.