Datalogisk Institut, DIKU > Ansatte
Cynthia Louisa Martina Kop
Emil Holms Kanal 6, 2300 København S, 24, 5. sal
I am a researcher in theoretical computer science with a broad interest, and particular expertise in term rewriting. My current research is focused on implicit computational complexity, using highrer-order term rewiting. In my previous project, my preimary work was on program analysis using constrained rewriting as a tool.
term rewriting (first-order, higher-order, conditional and constraint)
implicit computational complexity