Bernard van Gastel

Short Introduction

I received my Master's degree in Computer Science from the Radboud University. My Master's thesis was titled `Verifying Reentrant Readers-Writers'. This work analyses a commonly used (Nokia's Qt) concurrency algorithm and fixes a deadlock and starvation issue with this algorithm. An article about this research is also published by Elsevier. Besides correctness, my interests also include optimizations/efficiency, security, concurrency and programming languages.

Currently I am working as a Ph.D student at the Open University Nederland. If I have (more) work related content, I will put it on a to-be-created website at the Open University, as this site is my personal webpage.

My site consists of:

• Introduction
• CV
• Research
• Projects
• Study
• Personal
• Contact