Coen De Roover

Coen De Roover is a Professor at the Vrije Universiteit Brussel (VUB) since October 2015, affiliated with the Software Languages Lab (SOFT) where he leads the Code Analysis and ManiPulation (CAMP) subgroup. He serves as programme director for the bachelor's program in Computer Science since the 2019-2020 academic year.

His research focuses on the design of program analyses and their application to software quality problems, with particular expertise in static and dynamic analysis techniques. Key research areas include:

• Soft verification of contracts and incremental abstract interpretation
• Fine-grained change analysis of individual commits
• Mining for change patterns across multiple commits
• Vulnerability detection in infrastructure code (particularly Ansible)
• Concolic testing and resilience analysis

Recent publication trends show increasing focus on infrastructure as code security, WebAssembly analysis, and modular abstract interpretation frameworks. His work bridges theoretical program analysis with practical software engineering applications, often validated through empirical studies on open-source projects.

As an active contributor to the software engineering community, he has served on program committees for major conferences including ASE, ECOOP, ICSE, and SPLASH. His leadership roles include steering committee positions for GPCE and SANER, and program co-chair roles for International Conference on Program Comprehension.

De Roover directs the CAMP research subgroup which has published over 120 peer-reviewed articles. The group develops practical analysis tools while advancing theoretical foundations of program analysis, with recent work focusing on infrastructure code security and WebAssembly analysis.