home > index

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

  • 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
  • HOR’19, Dortmund, Germany. June 28, 2019 – June 28, 2019

all…

Recent Publications

all…

Current Projects

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

all…