معرفی
Cynthia Kop is an Associate Professor in the Software Science group at Radboud University Nijmegen's Institute for Computing and Information Sciences. She holds a prominent position in the academic community with significant contributions to term rewriting systems and their applications in computer science.
Her research interests span several interconnected areas of theoretical computer science:
- Term rewriting systems (both first and higher-order)
- Implicit computational complexity
- Program verification and equivalence
- Constrained rewriting systems
- Automated reasoning techniques
Her recent work demonstrates a clear trajectory toward applying term rewriting techniques to solve practical problems in program verification and complexity analysis. The three most recent publications from 2019 show her focus on constrained rewriting for program equivalence, higher-order dependency frameworks, and cons-free rewriting for implicit complexity characterization. These works represent the intersection of theoretical foundations with practical applications in software verification.
Dr. Kop has secured significant research funding through competitive grants including:
- NWO VIDI project CHORPE (2021-2026): Constrained Higher-Order Rewriting and Program Equivalence
- NWO TOP project ICHOR (2019-2023): Implicit Complexity through Higher Order Rewriting
- Marie Curie project HORIP (2015-2017): Higher Order term Rewriting for Intensional Properties
She actively supervises PhD students including Liye Guo, Kasper Hagens, and Deivid do Vale, and has developed several influential tools for the rewriting community: WANDA (termination analysis), CTRL (constrained rewriting), and Cora (comprehensive rewriting analysis framework). Her professional service includes chairing the IFIP working group 1.6 on rewriting and serving on numerous program committees for major conferences in her field.
