During my PhD, I interned both at Tweag.io and at Digital Asset. While working at Tweag.io, I developed the GHC implementation for the Explicit Type Variable Specificity Proposal, available in GHC 9.0. Secondly, my Tweag.io internship encompassed a fruitful research collaboration with Richard Eisenberg, resulting in the following publication (currently under review at POPL 2020). For my Digital Asset internship, I participated in the DAML language team. Here, I developed a static analysis tool for the DAML blockchain language.
Before starting my PhD, I've done an internship at DataCamp (a Leuven-based software company providing online data sciences courses to over 600.000 students worldwide) as a software engineer intern, where I've helped develop a complex in-browser IDE for developing new courses. Furthermore, I've worked at the KU Leuven, where I've developed E-Systant, an interactive online exercise platform for teaching students declarative programming languages, such as Haskell and Prolog.
Abstract: Coherence of Type Class Resolution
Abstract: Proving Haskell's Type Class Resolution Coherent
Abstract: Quantified Class Constraints