David K
The Hague, South Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolDavid K is a software engineer with 11 years of experience building maintainable async services and a strong focus on refactoring and long-term code health. Comfortable deploying to Linux hosts, he works with Docker, systemd and HAProxy and has built practical tooling such as an on-demand service to migrate Minecraft server instances. An active open-source contributor in embedded Rust (notably improving error handling and memory efficiency in the embassy-rs framework), he optimizes for resource-constrained environments and clear documentation. He holds an MSc in Computer Science (Cum Laude) from Leiden University and brings experience translating academic rigor into usable teaching frameworks and lab interfaces. As chair of the Faculty Council he has shaped university policy, blending technical expertise with collaborative leadership.
11 years of coding experience
Master of Science - MS, Computerwetenschappen, Cum Laude, Master of Science - MS, Computerwetenschappen, Cum Laude at Leiden University
Dutch, English
Github Skills (9)
embedded10
error-handling10
rust10
driver10
sys10
async10
hal9
memory-management9
executor8
Programming languages (12)
Github contributions (5)
embassy-rs/embassy
May 2021 - May 2021
Modern embedded framework, using Rust and async.
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:1 review, 1 commit, 4 PRs in 1 day
Contributions summary:David primarily contributed to the `embassy-rs/embassy` repository, focusing on implementing and refining error handling and core functionality within the embedded systems framework. Their work involved adding `Clone` and `Copy` traits to error types across several modules to optimize the framework for embedded environments. Additionally, they made documentation updates, expanded on existing examples, and refactored code to improve clarity and memory efficiency, especially regarding resource allocation on memory-constrained devices.
driversrustembeddedhalasync
dvdsk/new-linux-setup
Mar 2020 - Nov 2022
Contributions:238 commits, 219 pushes, 1 branch in 2 years 9 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.