## Introduction

I am an Assistant Professor in the Software Science group at Radboud University Nijmegen. My research centers around term rewriting, although my focus is the application of term rewriting to other fields, such as computational complexity or software verification.

Before going to Nijmegen, I worked for two years at the University of
Copenhagen, where I worked on the Marie Curie project *higher-order term
rewriting for intensional properties of programs and circuits*. My
primary focus in this topic was the characterisation of complexity classes
using cons-free term rewriting systems and functional programs.

Before this, I spent three years at the University of Innsbruck, where I
worked on the project *term rewriting with logical constraints*,
and primarily focused on developing a notion of constrained term
rewriting that can be easily used for program verification (of
C-programs).

I did my PhD work at the Free University of Amsterdam, where I
studied *higher-order term rewriting systems*. I obtained my
master in the mathematics department of the Radboud University, with a
focus on *foundations of mathematics and computer science*. Both
theses are available under
publications.