معرفی
Maxime Cordy is a researcher in Computer Science with a focus on Software Engineering and Formal Verification. He holds a PhD in Computer Science from the University of Namur, earned in 2014, and has engaged in visiting research at the University of Luxembourg (2017-2018). He also co-founded SkalUp as an R&D manager from 2015 to 2016.
- Education: Doctor of Science (University of Namur, 2014), Master in Computer Science (University of Namur, 2011)
His research spans Software Product Lines, Model Checking, and Variability-Intensive Systems, emphasizing formal verification and automated analysis. He has contributed to over 53 research outputs with 949 citations and an h-index of 17.
Recent publications include advancements in Featured Transition Systems, Mutation-Based Model Checking, and Machine Learning for Software Quality. He co-organized workshops like MaLTeSQuE 2019 and the Machine Learning and Software Engineering in Symbiosis workshop (2018).
- Scientific Awards: VAMOS 2024 Ten-Year Most Influential Paper Award (co-recipient)
Maxime has collaborated extensively with institutions including the University of Luxembourg and co-authored works with leading researchers in formal methods and software engineering.
