About Me

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.

Research

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.

Recent Activities

2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PC member.

Recent Events

January 11th, 2013: Dutch Functional Programming Day 2013, Nijmegen, The Netherlands.