Cynthia Kop

Registered user since Tue 19 Feb 2019

Name: Cynthia Kop

Country: Netherlands

Affiliation: Radboud University Nijmegen

Personal website: https://www.cs.ru.nl/~cynthiakop/

Research interests: higher-order term rewriting, implicit complexity, program verification

Contributions

PERR 2019 Author of Proving Program Equivalence with Constrained Rewriting Induction and Ctrl within the PERR-track
DICE-FOPARA 2019 Invited Speaker of (Invited Talk) Cons-free Rewriting within the DICE-FOPARA-track
ESOP 2019 Author of A static higher-order dependency pair framework within the ESOP 2019-track