Brussels / 4 & 5 February 2017


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 multiserver operating system and working on its verification of correctness as a computer science researcher at Charles University, Prague, Czech Republic. He has been working on HelenOS since 2004.

Brief biography: contributing to HelenOS since 2004, MSc. in computer science (software systems) in 2006, computer science researcher since 2008, Ph.D. in computer science (software systems) in 2015, Google Summer of Code organization administrator (on behalf of HelenOS) in 2011, 2012 and 2014



Title Day Room Track Start End
AMENDMENT HelenOS in the year of the fire monkey Saturday AW1.125 Microkernels and Component-based OS 11:45 12:30