Martin Děcký
Event | Track | Day | Room | Start time | Duration |
---|---|---|---|---|---|
The microkernel overhead | Microkernel OS Devroom | Sunday | K.3.201 | 13:00 | 01:00 |
Martin has been with the HelenOS team for more than 6 years now. A life-long operating systems enthusiast, he enjoys everything from bare metal programming and submitting Linux kernel patches to designing the most progressive microkernel and working on its formal verification as a researcher at Charles University in Prague.