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. My work related webpage can be found at the Open University.

My site consists of:

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