I am a VP of Engineering 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 centre 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
2012 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: PC member.
2013 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation: award for best paper.
2014 ACM SIGPLAN ML Family Workshop: PC member.
16–18 September 2013: 15th International Symposium on Principles and Practice of Declarative Programming, Madrid, Spain.
10 January 2014: Dutch Functional Programming Day 2014, Amsterdam, The Netherlands.
16–17 January 2014: The Future of Programming, Delft, The Netherlands.
6–9 May 2014: Reliability of Concurrent and Distributed Software, Leiden, The Netherlands.
13–17 October 2014: ICT with Industry 2014, Leiden, The Netherlands.