Martin Děcký
The speaker description is potentially outdated as it is from a previous FOSDEM edition.
Martin is a life-long operating systems enthusiast and a passionate programmer, enjoying everything from bare metal programming and fixing bugs in the Linux kernel to designing the HelenOS microkernel operating system and working on its formal verification as a researcher at Charles University in Prague. He has been working on HelenOS since 2004.
Links
Sessions
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| OS Hot Topics | Saturday | AW1.120 | Microkernels and Component-based OS | 14:00 | 14:40 |
| Panel discussion | Saturday | AW1.120 | Microkernels and Component-based OS | 18:15 | 19:00 |