Martin Kröning
Research Assistant at RWTH Aachen University
Aachen, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolMartin Kröning is a research-focused software engineer and PhD candidate in Electrical Engineering at RWTH Aachen with eight years of hands-on experience in systems programming, build tooling, and CI/CD. He contributes extensively to prominent open-source Rust projects—working on Hermit OS, the Rust standard library, and libc—where he improves kernel-level code, refactors interrupt handlers, and hardens build processes. Comfortable across the stack, he has modernized Java and Rust codebases, tackled cross-platform build issues in projects like StepMania and CalendarFX, and applied DevOps automation to streamline testing and releases. Based in Aachen, he blends academic rigor with pragmatic engineering, often addressing low-level portability and tooling challenges that reveal an eye for both correctness and developer experience.
8 years of coding experience
Doctor of Philosophy - PhD, Electrical Engineering, Doctor of Philosophy - PhD, Electrical Engineering at RWTH Aachen University
Stackoverflow
67reputation
12kreached
4answers
3questions
Github Skills (57)
dependency-management10
c-language10
sdl10
calendars10
interrupt-handling10
linux10
javafx10
build-system10
os-development10
cmake10
c1110
java10
c1710
kernel10
javas10
Programming languages (23)
Github contributions (5)
hermit-os/hermit-rs
Apr 2021 - Jan 2023
Hermit for Rust.
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:5 releases, 97 reviews, 187 commits in 1 year 8 months
Contributions summary:Martin primarily focused on improving the build process and tooling for the Hermit operating system. They made significant changes to the `build.rs` file, including reworking RUSTFLAGS handling, disabling mutable-noalias, extracting kernel symbol renaming, and enabling colored output. Furthermore, they implemented a netbench runner and addressed clippy lints, contributing to code quality and maintainability. They also refactored the executor.
rustvirtualizationosdevoperating-systemcloud-computing
hermit-os/kernel
May 2021 - Jan 2023
A Rust-based, lightweight unikernel.
Role in this project:Back-end Developer
Back-end DeveloperContributions:14 releases, 431 reviews, 575 commits in 1 year 8 months
Contributions summary:Martin's commits primarily focus on the development of the kernel for the Hermit-OS. Contributions involve refactoring of interrupt handlers, specifically for exceptions and timer interrupts, as well as the introduction of system calls related to threads and networking. The code changes demonstrate expertise in low-level system programming, focusing on system core functionality. The work suggests an emphasis on OS kernel development.
rustunikernelrust-langcloud-computingkernel
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.