Registered user since Mon 25 Aug 2014
Since October 2015, I’m a professor at the Software Languages Lab (SOFT) of the Vrije Universiteit Brussel (VUB) in Belgium, where I lead the Code Analysis and ManiPulation (CAMP) subgroup.
With this group, I’ve published over 120 peer-reviewed articles in the domain. Our research focuses on the design of program analyses, and on their application to problems in software quality.
Examples include soft verification of contracts, incremental abstract interpretation, fine-grained change analysis of individual commits, mining for change patterns in multiple commits, and vulnerability detection in infrastructure code.
Please visit http://soft.vub.ac.be/~cderoove/ for more information.
Since academic year 2019-2020, I’m also the programme director of the bachelor in Computer Science of VUB.
Contributions