Introductie
Ik ben Universitair Docent in de Software Science groep in de Radboud Universiteit Nijmegen. Mijn onderzoek richt zich op termherschrijven, en in het bijzonder het gebruik van termherschrijfsystemen in andere gebieden, zoals complexiteit of programmaverificatie.
Voordat ik naar Nijmegen kwam heb ik twee jaar bij de Universiteit van Kopenhagen gewerkt aan het Marie Curie project hogere order termherschrijven voor impliciete eigenschappen van programma's en circuits. Dit ging met name over het karakteriseren van complexiteitsklassen met "cons-free" termherschrijfsystemen en functionele programma's.
Hiervoor heb ik drie jaar aan de Universiteit van Innsbruck gewerkt, op het project termherschrijven met logische beperkingen. Mijn focus was op het ontwikkelen (en gebruiken) van een uitbreiding van standaard termherschrijfsystemen die gebruikt kon worden voor programmaverificatie.
Mijn promotie-onderzoek heb ik gedaan aan de Vrije Universiteit van Amsterdam. Dit onderzoek ging over terminatie van hogere orde termherschrijfsystemen. Mijn master heb ik afgelegd in de wiskunde groep van de Radboud Universiteit Nijmegen. Hierbij richtte ik me op het thema grondslagen van de wiskunde en informatica. Beide scripties zijn beschikbaar onder publicaties.