Marcus Haehnel is a Principal Engineering Lead based in Dresden with 13 years of experience building and certifying safety-critical systems around the L4Re microhypervisor. He leads technical efforts to bring L4Re to ASIL certification, coordinates research-funded projects, and co-maintains core build and runtime components including libc and Ada support. His background blends academic research in energy-aware runtime systems at TU Dresden with hands-on engineering—he has driven coverage tooling and certification work for customers as a senior engineer. Marcus combines deep OS-level expertise with grant-winning research coordination, enabling pragmatic advances in safety and energy efficiency that are rarely paired in industry leads. He’s comfortable writing production code while steering long-term architecture and certification roadmaps.
13 years of coding experience
12 years of employment as a software developer
Dipl.-Inf. Computer Science (Operating Systems), Dipl.-Inf. Computer Science (Operating Systems) at Technische Universität Dresden
Contributions:177 pushes, 1 branch in 3 years 10 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.
Request Free Trial
Marcus Haehnel - Principal Engineering Lead at Kernkonzept GmbH