I am an engineer in Computer Science, currently working as a postdoc at KU Leuven. My core research interests are designing more expressive Knowledge Representation Languages, and building solvers that support them.
I'm currently working as a postdoc in the Declarative Languages and Systems group of KU Leuven.
As a PhD researcher in the Declarative Languages and Systems group of KU Leuven, I researched the development of more expressive Knowledge Representation Languages and the solvers to support them. I specifically investigated how to extend languages with Second-Order and Higher-Order Logic, leading to my PhD thesis called Towards a Higher Level of Abstraction for Knowledge Representation Languages under supervision of prof. dr. ir. Gerda Janssens and co-supervison of prof. dr. Marc Denecker.
VTK is the student union of the Engineering Faculty at KU Leuven. As a non-profit with 2000 members and 1M€ turnover, it represents the students in educational meetings and provides leasure activities. Personally, I was a member of the Culture team, and represented my fellow students on the departmental and faculty levels.
Magna Cum Laude
Master thesis: Secure Compilation of ML Modules
I enjoy doing sports: I particularly like cycling, mountain biking and running. I regularly cycle the mountains and I participate in a duathlon every once in a while. I also enjoy reading, where I am mostly drawn to the science, fantasy and detective or action/crime genres. I value time spent with friends and family highly.