Marcus Haehnel

Principal Engineering Lead at Kernkonzept GmbH

Dresden, Saxony, Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
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.
code13 years of coding experience
job12 years of employment as a software developer
bookDipl.-Inf. Computer Science (Operating Systems), Dipl.-Inf. Computer Science (Operating Systems) at Technische Universität Dresden
languagesEnglish, French, German
github-logo-circle

Github Skills (70)

modular10
singing10
duplicate-detection9
hypervisor9
mach9
clang9
image9
toolchain9
llvm9
x869
sony9
compiler8
multicore8
photography8
clang-format8

Programming languages (9)

C++CLLVMPHPVim scriptNixPascalVim Script

Github contributions (5)

github-logo-circle
mhaehnel/krapl

Feb 2014 - Sep 2016

Contributions:11 commits, 3 pushes in 2 years 6 months
mhaehnel/travelerofstars

Feb 2021 - Jan 2025

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