Martin Děcký
Martin Děcký 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. After spending 10 years in academia as a computer science researcher at Charles University, Prague, Czech Republic, he switched to a role of senior research engineer at Huawei Technologies, Munich, Germany in 2017. In 2019, he co-founded the Dresden Research Center of Huawei Technologies and continued his work there as a principal research engineer. In 2021, he joined Kernkonzept GmbH and is currently working on the Fiasco.OC microkernel and on L4Re remotely from Prague. 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, senior research engineer at Huawei Technologies Munich since 2017, principal research engineer at Huawei Technologies Dresden since 2019, senior software engineer at Kernkonzept GmbH since 2021, Google Summer of Code organization administrator in 2011, 2012, 2014 and 2017
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Introduction | Saturday | D.microkernel | Microkernel and Component-based OS | 10:40 | 10:50 |