I am a senior software engineer at Vector Fabrics, a high-tech start-up that is developing tools for the design and implementation of embedded multicore systems.
Before joining Vector Fabrics, I was a PhD candidate and a junior lecturer at the Center for Software Technology of Utrecht University’s Department of Information and Computing Sciences.
My research interests center on functional programming, datatype-generic programming, automatic program analysis, and automatic program transformation. In particular, I am interested in developing type-based context-sensitive analyses and type-driven modular transformations for programs that are written in higher-order functional languages such as Haskell and ML.
Awards and Honours
2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: award for best paper.
2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PC member.
January 11th, 2013: Dutch Functional Programming Day 2013, Nijmegen, The Netherlands.