eTeacher
+32 16/37.32.41
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 DA
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.
eTeacher