Ansatte – Københavns Universitet

Videresend til en ven Resize Print Bookmark and Share

Datalogisk Institut, DIKU > Ansatte

Cynthia Louisa Martina Kop

Cynthia Louisa Martina Kop


  • Datalogisk Institut

    Universitetsparken 5, 2100 København Ø, 24, 5. sal

    Telefon: +45 27 82 80 10

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.

Primære forskningsområder

term rewriting (first-order, higher-order, conditional and constraint)

implicit computational complexity

program analysis

ID: 144763147