I studied Engineering: Computer Science, and followed this up with a Phd. Now, I am working as a consultant for axxes on a project at DHL.
After my PhD, I continued working at the Declarative Languages and Systems group of KU Leuven on some research ideas that we hadn't fully explored yet.
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.
PhD thesis: Towards a Higher Level of Abstraction for Knowledge Representation Languages
Magna Cum Laude
Master thesis: Secure Compilation of ML Modules
Cum Laude
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.