ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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 2019Author of Proving Program Equivalence with Constrained Rewriting Induction and Ctrl within the PERR-track
DICE-FOPARA 2019Invited speaker of (Invited Talk) Cons-free Rewriting within the DICE-FOPARA-track
ESOP 2019Author of A static higher-order dependency pair framework within the ESOP 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile