Brussels / 31 January & 1 February 2015


Martin Děcký

Photo of Martin Děcký

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.



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