I have obtained my Bachelor in computer science at Saxion in 2009. I did my Master's at the Formal Methods and Tools Group at the University of Twente, where I graduated in august 2012. Since september 2012 I am a PhD student at FMT group.
In general I am interested in programming paradigms that facilitate in correctness the automatic verification of software systems, such as the functional programming paradigm. In particular, I am interested in the integration of database management systems and programming languages with the purpose of simplifying database programming.
Current I am working on my PhD project Functional Languages for Databases.