Dr C.L.M. Kop (Cynthia)

Associate professor - Software Science

Dr C.L.M. Kop (Cynthia)
Visiting address

Toernooiveld 212
6525 EC NIJMEGEN
Internal postal code: 47

Postal address

Postbus 9010
6500 GL NIJMEGEN

Working days Monday, Tuesday, Wednesday, Thursday, Friday

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.

Publications

Projects

Ancillary activities