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.