This my old homepage!

If you feel like, check my new homepage here:

www.frantzen.info

The information you find here is outdated.

And my new homepage also looks better.

I used to be a:

Junior Researcher

Institute for Computing and Information Sciences (ICIS),
Informatics for Technical Applications,
Radboud University Nijmegen,
The Netherlands.

During my Ph.D. I worked in the STRESS project (Systematic Testing of Realtime Embedded Software Systems). My main research interest is the theory and practice of Model-Based Testing, especially symbolic extensions of Jan Tretmans' ioco theory. Another project I was involved in is PLASTIC (Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication). There I explored the practicability of the theory within the domain of Service Oriented Architectures.