conf.researchr.org / 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