conf.researchr.org / Cynthia Kop
![Cynthia Kop](https://conf.researchr.org/getProfileImage/cynthiakop/72ac4f22-e37e-4864-95db-8f1a564c3990/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