I am a PhD student (in Dutch it is: AiO) at the Computing Science Institute of the University of Nijmegen in the Netherlands. I am member of the research group ITA and the research school IPA.

My research interest is in the area of program verification. I am involved in the LOOP project, in which methods for verification of object-oriented languages are being developed. The LOOP tool plays a central role within the LOOP project. Currently, I am working in close collaboration with Bart Jacobs, Erik Poll, Cees-Bart Breunesse (all from the University of Nijmegen), and Hendrik Tews and Jan Rothe (from Technical University of Dresden).

In January 2001 the European project VerifiCard started, which is coordinated by the LOOP group. The main goal of this project is to provide the European smartcard manufacturers with the latest technology (models and tools) for verification of the JavaCard platform and of JavaCard applications.

Besides doing research I am involved in NAiOO, a council for all the PhD students of the University of Nijmegen, and in the IPA PhD council, which is a council for the IPA PhD students.

Research

Education

Address

Who am I?

Several pictures of marvellous events

Wedstrijdschema Donki Sjot H2, seizoen 2002-2003

Together with Nicole el Moustaki I organised 'Dagje Uit 99' for Computer Scientists.
Together with Mariëlle Stoelinga I will organise 'Weekendje Weg 2000' for members of our research group.