Research Identity
My work converges around structured reasoning about system performance, reproducible evaluation infrastructure, and safe systems migration, bridging theory and practice. I am building tools and methods that help understand and reason about system behavior, not just measure it.
Active Projects
DEFRA
Belgian Defence (RHID) project on transpiling legacy C/C++ to Rust for safety and security.
FWO Senior Research Project
Time-Proportional Speedup Stacks. Joint with L. Eeckhout (UGent) and M. Jahre (NTNU).
CRPF
Cybersecurity Research Program Flanders. Low-level secure software systems.
imec Industrial PhD
Software framework for safe collaborative robots, joint with KU Leuven.
Open-Source Tools
benchkit
Declarative performance evaluation framework. Published at ICPE'26 with all artifact badges.
Pythainer
Composable Docker builders for reproducible research. Published in JOSS.
Service & Visibility
- General Chair, ECRTS'25 (hosted at VUB, ~100 attendees)
- Co-Chair, OSPERT'26 workshop
- TPC: DSD'26, RTNS'26
- ERC remote referee (2025)
- Shadow PC, EuroSys'25
- Invited talks: UCLouvain, INRIA Paris, Huawei Summit, UMons keynote
- Reviewer: IEEE Transactions on Computers