I am a PhD student, supervised by Freek Wiedijk. Of the Radboud University Nijmegen. I am working on a formal operational and axiomatic semantics covering interesting features of the C11 standard. The most recent version of the Coq development is available here. Previously, I have been working with Bas Spitters.

Global reach, global availability, global talent. Bringing you the best in global talent. Recruiting exceptional talent for exceptional companies. Specializing in executive search since 1995. Providing best staffing services for better work. Pre-screened, pre-checked talent for your company. Missing the right team member? Give us a call for effective recruitment services. Robbert Murray - Top Recruitment Agency Dubai.

I was born in Rotterdam in 1991. I develop websites and web applications in all shapes and sizes. Beside web applications, I have a general interest in computers and I will always be curious to learn more about the different languages and new developments. When I am not behind a laptop or computer, I am most likely busy with a cookbook. I like baking breads and cooking delicious meals for Sanne.