Ivo Gabe de Wolff
Computer Science master student
For Hospitality Group consultants we built a web application with an interactive dashboard. The application is used to get insights on the performance of suppliers. It gathers data from various sources and the dashboard gives organisations quick insights in the performance.
I worked on improving the type system of TypeScript, for my bachelorthesis titled 'Refining Types using Type Guards in TypeScript'. I created a prototype for the newly added control flow based type analysis and compared it with an alternative implementation of the type checker. The paper is published in the preceedings for PEPM 2017.
My current research regards the LLVM backend for Helium, the Haskell compiler developed at Utrecht University. I built the new backend and will work on the memory management for the compiler as my master thesis.