معرفی
Cynthia Kop is an Associate Professor in the Software Science group at Radboud University Nijmegen. Her research focuses on term rewriting systems and their applications in computational complexity, software verification, and program analysis. She leads the CHORPE and ICHOR research projects and coordinates multiple academic courses including Automated Reasoning and GiPHouse programs.
Education:
- PhD in Computer Science from Vrije Universiteit Amsterdam (2012)
- Master's degree from Radboud University Nijmegen (2007)
Research Interests: Cynthia's work bridges theoretical foundations with practical applications, particularly in higher-order term rewriting systems, constrained rewriting, program equivalence verification, and complexity analysis. She develops analysis tools like WANDA and Cora to automate verification processes.
Publication Trends: Her recent articles demonstrate a strong focus on higher-order systems complexity analysis, termination proofs, program equivalence methods, and practical tool implementations for rewriting systems. Work frequently combines theoretical computer science with applied verification techniques.
Grants and Projects:
- Principal Investigator for NWO VIDI project CHORPE (2021-2026)
- Principal Investigator for NWO TOP project ICHOR (2019-2023)
- Marie Curie Fellowship for HORIP project (2015-2017)
Research Group: Leads a team including PhD students Liye Guo, Kasper Hagens, and Deivid Vale. The group develops formal methods for program analysis through constrained higher-order rewriting systems.
