I am a member of the FoCUS research team at INRIA, Sophia Antipolis.

Previously, I was a postdoc at the Department of Computer Science, University of Innsbruck and the Department of Computer Science and Engineering, University of Bologna, working on the project "Complexity Analysis of Higher-Order Rewrite Systems", with kind support of the Austrian science fund (FWF).

I received my PhD and my MSc in Computer Science at the University of Innsbruck. For details, see my Curriculum Vitae.

I like to code, have a look at my software page.

Research Interests

Recent Publications


Past Events