ETAPS 2019 (series) / Cynthia Kop
![Cynthia Kop](https://conf.researchr.org/getProfileImage/cynthiakop/a0b06db5-e11c-429c-b577-d8edcd4b6a9d/small.jpg?1714742595000)
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
ETAPS 2019-profile
View general profile
View general profile