Alexander Boettcher
OS System & Kernel Developer at Genode Labs
Dresden, Saxony, Germany
Summary
🤩
RockstarAlexander Boettcher is an OS system and kernel developer with 14 years of experience designing small, robust trusted computing bases and failure-tolerant services for component-based microkernel systems. Based in Dresden, he researches and builds secure applications—from anonymity tooling to secure online banking—primarily on L4, NOVA and Genode platforms, and brings hands-on expertise in C/C++, assembly, virtualization and TPM-based trusted computing. His contributions to the seL4 microkernel show deep low-level knowledge of boot processes, x86 hardware integration and position-independent syscall support, reflecting an unusual blend of research-grade rigor and production-focused kernel engineering. He has a sustained academic and industry background dating back to TU Dresden and an internship at Microsoft, and he consistently focuses on minimizing trusted code while maximizing system resilience.
13 years of coding experience
7 years of employment as a software developer
Github Skills (15)
bootloader10
embedded10
macos10
sys10
microkernel10
x86-6410
sel410
boot10
acpi10
osdev10
x8610
assembler9
c119
assembly9
c179
Programming languages (5)
Github contributions (5)
seL4/seL4
Jul 2016 - Dec 2018
The seL4 microkernel
Role in this project:
System Architect / Embedded Systems Engineer
System Architect / Embedded Systems EngineerContributions:14 commits, 7 PRs, 23 comments in 2 years 5 months
Contributions summary:Alexander's contributions primarily involve low-level system programming and kernel-level modifications within the seL4 microkernel. The commits focus on x86 architecture-specific features, including reading hardware configuration data, supporting position-independent syscall bindings, and integrating ACPI and Multiboot2 boot processes. The user demonstrates a strong understanding of system boot processes, hardware interaction, and kernel design, improving the kernel's flexibility and hardware support.
microkernelsel4-microkernelsel4os
alex-ab/foc
Feb 2015 - May 2019
Contributions:3 pushes, 5 branches, 2 comments in 4 years 3 months
parts
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.