I am a Dutch computer scientist. I work as a compiler engineer at Intel in the NetherlandsShort Bio
In 2000, I received a cum laude M.Sc. in Mathematics from Utrecht University. My Master's thesis was titled Pure Type Systems for Functional Programming and is now part of Haskell.org's reading list on type systems.
In 2001, I moved to Gothenburg in Sweden to pursue a Ph.D. in Computer Science at Chalmers University of Technology. My Ph.D.-research has focused on Formal Verification of Hardware. The aim of formal verification is to certify that a computer system fully complies with a specification. In January 2007, I defended my thesis with success.
My Ph.D. research has been published at several international conferences of high standard, including the prestigious International Conference on Computer Aided Verification (CAV). CAV is ranked among the top 4% of most influential conferences in all of computer science. Next to that, I have presented my Ph.D.-research at Intel's research labs in Portland and Haifa.
After returning to the Netherlands, I joined the start-up Fenix Design Automation. At Fenix, I worked on algorithms for checking the functional equivalence between transistor netlists and the verilog description of computer chips. A patent is applied for the methods I developed. In cooperation with the Technical University of Eindhoven, we published several conference papers in this field of research.
From May 2009 until the beginning of 2011, I worked at Quintiq as a Business Consultant.