Martin Decky
Senior Software Engineer at KERNKONZEPT
Dresden, Saxony, Germany
Summary
🤩
Rockstar🎓
Top SchoolMartin Decky is a senior software engineer and computer science researcher with 26 years of experience specializing in microkernel multiserver operating systems and systems architecture. As co-author of the HelenOS microkernel and a contributor to L4Re development, he blends low-level kernel design, cross-ISA assembly expertise (IA-32, AMD64, MIPS, PowerPC) and high-level languages (C/C++, Python, JavaScript) to deliver robust, verifiable systems. His career spans academic research at Charles University and applied R&D and bootstrapping roles at Huawei’s OS labs, where he helped stand up new research centers and led hiring and technical strategy. Based in Dresden, he pairs rigorous formal training (MSc, PhD) with hands-on experience in kernel verification, in-storage near-data processing, and infrastructure engineering. Known in F/OSS circles for sustained microkernel work, he brings a rare combination of deep instruction-set knowledge and practical systems integration to complex, safety- and performance-critical projects.
26 years of coding experience
19 years of employment as a software developer
Software and Systems Safety: Specification and Verification, Software and Systems Safety: Specification and Verification at Advanced Study Institute of the NATO Science for Peace and Security ProgrammePh.D., Computer Science, Ph.D., Computer Science at Charles University in PragueMSc., Computer Science, MSc., Computer Science at Charles University
English, German, Czech
Github Skills (19)
portable10
multicore10
usb10
kernel10
multiserver10
operating-system10
microkernel9
linux9
jekyll7
moto6
linux-kernel1
bsp1
libvirt1
kvm1
architecture1
Programming languages (4)
Github contributions (5)
martin-decky/ichiglyph.xamarin
Mar 2018 - Feb 2023
Contributions:4 pushes, 1 branch in 5 years
martin-decky/ichiglyph
Nov 2017 - May 2018
Contributions:11 commits, 8 pushes, 1 branch in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.