Jan 2017 – Dec 2021 · 4 yrs 11 mos · Eindhoven Area, Netherlands

• Contributed to a toolchain for extracting facts, e.g., dependency information, from C++ code bases with the aim of visualizing components and performing semi-automatic refactoring. The toolchain is based on open source C++ parsers (CDT and Clang) and was used to refactor code used in systems produced by Philips Healthcare.
• Contributed to the reduction and simplification of C++ code used systems produced by Philips Healthcare. The reduction and simplification was achieved by means of fact extraction using open source C++ parsers (CDT) and model-based techniques (Xtext).

May 2015 – Dec 2016 · 1 yr 7 mos · Edinburgh, United Kingdom

• Contributed to an OpenCL implementation for Renesas, including contributions to an LLVM compiler backend.
• Contributed to an LLVM compiler backend and OpenCL implementation for a DSP, including bring-up of runtime libraries.
• Contributed to Codeplay’s re-targetable OpenCL implementation for embedded devices (ComputeAorta).

Apr 2012 – Mar 2015 · 2 yrs 11 mos · London, United Kingdom

• Formal verification of GPGPU software (EU FP7 project CARP)
• Contributed to GPUVerify, a tool for verifying data-race freedom of OpenCL and CUDA programs, including contributions to the implementation and theoretical development. The tool is based on Clang/LLVM and Boogie (an intermediate verification language based from Microsoft Research).
• Contributed to the design of "Pencil", a platform neutral language for programming accelerators (e.g., GPUs).
• Performed management activities, including deliverable editing, coordination of deliverable writing, and general support for the CARP project manager, including participation in project reviews.
• Performed teaching activities, including MSc thesis supervision and tutorial instruction.

Oct 2008 – Feb 2012 · 3 yrs 4 mos · Enschede Area, Netherlands

• Model checking of interlocking specifications (railway safety systems) (EU FP7 project INESS)
• Project management, teaching

May 2006 – Aug 2008 · 2 yrs 3 mos · Sendai, Miyagi, Japan

• Semantics of programming languages (term rewriting)

Dec 2005 – Apr 2006 · 4 mos · Utrecht Area, Netherlands

• Semantics of programming languages (term rewriting)
• Teaching

Sep 2001 – Nov 2005 · 4 yrs 2 mos · Amsterdam Area, Netherlands

• Semantics of programming languages (term rewriting)
• Teaching

Oct 1998 – Sep 1999 · 11 mos · Amsterdam Area, Netherlands

• Interfacing the Mozilla web-browser with the Globe distributed system