Dr C.L.M. Kop (Cynthia)
Assistant professor - Software Science
6525 EC NIJMEGEN
Internal postal code: 47
6500 GL NIJMEGEN
My research is centered around term rewriting: a formal system based on oriented equations, which can be used both to reason about mathematical structures and to specify algorithms. Within this context, I have studied both first-order and higher-order term rewriting, as well as constrained and conditional term rewriting systems.
Currently, my focus is on applying results from term rewriting in other areas of computer science. Term rewriting is a well-studied field with decades of progress on a wide range of questions. Although this work has a theoretical focus, a lot of the ideas also have applications in other domains, such as software verification, computational complexity and resource analysis, fault tree optimisation, and many more.
- 2021 - 2026 Constrained Higher-Order Rewriting and Program Equivalence (CHORPE) More information
- 2019 - 2023 Implicit Complexity through Higher Order Rewriting (ICHOR) More information
- 2015 - 2017 Higher Order term Rewriting for Intensional Properties of programs and circuits More information