Arda Goknil

Arda Goknil is a researcher at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg, actively contributing to software engineering research with a focus on security testing and model-driven methodologies. His work bridges theoretical foundations with practical tool development for critical software verification challenges.

His research centers on software security testing, metamorphic testing frameworks, model-driven engineering, and formal methods. Key contributions include developing specialized tools for web application security analysis and automated model reasoning, addressing vulnerabilities through innovative testing approaches that transform security requirements into executable validation procedures.

Analysis of his 2018-2020 publications reveals a consistent emphasis on metamorphic relations for security testing in web environments and formal logic integration for model verification. His work demonstrates strong interdisciplinary connections between cybersecurity, automated testing, and model transformation, with practical applications in vulnerability detection and security policy enforcement.

As part of SnT - Luxembourg's premier research center for digital trust - he collaborates within multidisciplinary teams advancing security, reliability, and trustworthiness in modern software systems through rigorous academic research and tool-oriented solutions.