ETAPS 2019 (series) / 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
ETAPS 2019-profile
View general profile
View general profile