FOSDEM is the biggest free and non-commercial event organized by and for the community. Its goal is to provide Free and Open Source developers a place to meet. No registration necessary.


Jaap Boender

Jaap is currently a PhD student at the Université Paris Diderot, working at the
PPS laboratory, within the Mancoosi project.

The subject of his thesis is 'a
formal study of open source sofrware distributions'; he is researching the use
of formal methods to do quality assurance on open-source operating system
distributions. This is a specific instance of his general research interest,
the usage of formal methods to solve practical problems.