About Me

I am a PhD candidate at the Software Languages Lab of the Vrije Universiteit Brussels

Research

My primary research field of interest is in static analysis using abstract interpretation, specifically about making scalable and precise analyses for diverse programming models. This includes but is not limited to programs annotated with software contracts, distributed applications, ...


Publications
2024
2023
2022
2019
Artifacts
Teaching
Teaching Assistant

I am a teaching assistant for both bachelor and master-level courses.