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.
Subsequently, I'm experienced with Python, Ruby on Rails, JavaScript (incl. AngularJS, React and Redux) etc.
Abstract: Coherence of Type Class Resolution
Abstract: Proving Haskell's Type Class Resolution Coherent
Abstract: Quantified Class Constraints