Ralf Treinen
| 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 |
Ralf Treinen is a debian developer since 2000. He has been active in
maintaining packages (mostly in the context of the OCaml packaging
team), as an application manager, and more recently in debian quality
assurance.
In his spare time, Ralf is working as professor for computer science
at University Paris-Diderot, where he teaches various courses from
theory to practice. His research activities are centered around formal
methods; recently he has participated in the EDOS and Mancoosi
projects on applying formal methods to the quality assurance of FOSS
distributions.