Introduction

I am an Assistant Professor in the Software Science group at Radboud University Nijmegen.

My research centers around term rewriting. In particular, in the last few years my focus has been on the application of term rewriting to other areas of computer science, such as computational complexity and software verification. More details on this are available in the pages on my research; or jump immediately to my publications.

Regarding teaching, I am responsible for the courses of Software Engineering and Software Development Management in the GiPHouse company. This is a small company within the university that is run entirely by students. More information can be found on the teaching page.

For students interested in doing a bachelor or master project with me: I am happy to supervise projects both in the theoretical direction (particularly term rewriting) and the more applied software engineering side. Please feel free to drop by my office to discuss this (room 1.18 in the Mercator building), or send me an e-mail.

I also currently have a PhD position available for a student in the area of higher-order term rewriting and implicit computational complexity. For more information, have a look at the projects page.