dr. C.L.M. Kop (Cynthia)

Mijn onderzoek richt zich voornamelijk op termherschrijven: een formeel systeem gebaseerd op gerichte vergelijkingen dat zowel kan worden gebruikt om te redeneren over wiskundige structuren en om algoritmes te definiëren. Binnen deze richting heb ik zowel gekeken naar eerste- als naar hogere-orde systemen, en ook de uitbreidingen van "constrained" en "conditional" termherschrijfsystem.

Momenteel ligt mijn focus op het gebruik van termherschrijfsystemen in andere richting van de informatica. Dit gebied is namelijk diep ontwikkeld over een periode van vele tientallen jaren en allerlei vragen (terminatie, confluentie, complexiteit, completering, ...). Veel van de onderliggende ideeën zijn ook in andere gebieden toepasbaar, zoals bijvoorbeeld programmaverificatie, complexiteitsanalyse, foutbomen en meer.