home > index


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


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


  • 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


Current Projects

I am currently involved in the following project(s).