Jaap Boender
| Event | Track | Day | Room | Start time | Duration |
|---|---|---|---|---|---|
| Mancoosi tools for the analysis and quality assurance of FOSS distributions | CrossDistro devroom | Saturday | H.1308 | 18:00 | 01:00 |
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.