Part of the team developing DexGuard, a dex recompiler aimed at adding security for reverse engineering in Android applications.
Part of the team developing DexGuard, a dex recompiler aimed at adding security for reverse engineering in Android applications.
Guardsquare, Belgium
March 2021 - Present • Full-Time
Dissertation title: "Structuring Domain-Specific Languages with Effects". See academic tab for more info.
KU Leuven, Belgium
February 2017 - February 2021 • Full-Time
Development of a telemetry platform for analyzing the user experience of digital TV customers at Proximus, the largest Belgian telecommunication company. This platform was developed using big data technologies including Scala, Spark and Hadoop.
Devoteam, Belgium
September 2015 - February 2017 • Full-Time
Extending/maintaining software for controlling a variety of lab measurement equipment and utilities for measurement data post-processing. This software is used by a group of researchers at IMEC, an international R&D business in the field of nanoelectronics, to aid in their experimental research on design of electronic circuits.
Imec, Belgium
As Freelance Consultant: June 2018 - December 2019 • 10 %
As (Summer) Intern: 2010-2015 • ~6 months total
Null Signal Games is a nonprofit games publisher developing a continuation of the expandable card game Netrunner. Null Signal Games staff are all unpaid volunteers. I am part of the rules team, which is responsible for a variety of activities related to the ruleset of the game. Examples of such activities are maintaining the comprehensive rules, ensuring newly released cards function as desired within these rules and ensure consistency in card templating.
Null Signal Games, Remote
September 2020 - Present • Volunteer
Extension to TypeScript's type system to allow dependent-type-like functions. Accompanied by a prototype implementation.
Addition of a Map type in the agda standard library, it provides a simpler interface for maps where the type of values is not dependent on the key.
Adds more reliable functions for benchmarking IO operations where the main performance hit is located in the evaluation to obtain the IO computation, rather than the execution of the computation.
PaSe is a Haskell animation library based on compositional animation design. The basic building blocks are parallel and sequential composition of animations.
Showcase of a minimalistic DSL used for creating (micro-)animations.
Experimenting with Monoidal Categories in Haskell.
Alternative representation of Haskell pipes, based on Spivey's Faster Coroutine Pipelines. Accompanied by an extensive benchmarking repo.
Automatically derive heterogeneous comparisons for GADTs using TemplateHaskell.
Support for SubRecords in PureScript.
Showcase of various free monad/effect handler libraries in scala.
Computer Science Degree
KU Leuven, Belgium
2017 - 2021 • PhD Computer Science
2013 - 2015 • Master Computer Science
2010 - 2013 • Bachelor Engineering Science