He received his PhD from the University of Amsterdam for compiler analysis of fine-grained parallelism in functional languages and he has lectured on general programming techniques, compilers and computer architectures at the University of Amsterdam and conferences. At ACE his work has included design, training, implementation and management for projects in the areas of Java and C compilation, compilation for reconfigurable arrays, SIMD, embedded and multi-core architectures, all in the context of the CoSy compiler development system. He is the lead developer of ACE's SuperTest compiler test and validation suite that is now actively used in ISO 26262 qualification procedures.