Martin Děcký
![Photo of Martin Děcký](/2015/schedule/speaker/martin_decky/2b0e4d2e384f460df22c36873ea1a0e16050fa663eb7837bb97365d5f03788de.png)
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 computer science researcher at Charles University in Prague. He has been working on HelenOS since 2004.
Links
Events
Title | Day | Room | Track | Start | End |
---|---|---|---|---|---|
What Could Microkernels Learn from Monolithic Kernels (and Vice Versa) | Sunday | K.3.201 | Microkernels | 14:30 | 15:20 |