Eelco Dolstra
Principal Software Engineer at Determinate Systems, Inc.
Randstad, Netherlands
Summary
🤩
Rockstar🎓
Top School
Top expert inOpen Source Software Development and SecurityFunctional Programming and Formal Verification Technologies
Eelco Dolstra is a Principal Software Engineer based in the Randstad with 26 years of experience building and maintaining robust systems, from low-level ELF tooling to distributed blockchain nodes. He combines deep systems and build-engineering expertise—evident from long-standing contributions to the Nix package manager and patchelf—with full-stack work on projects like the NixOS homepage and the Nickel configuration language. His career bridges academia and industry, including postdoctoral research and senior engineering roles at Tweag and Infor, giving him a strong foundation in formal thinking and practical delivery. Notably, he has improved performance and reliability in critical open-source infrastructure by removing deadlocks, optimizing builds, and hardening ELF handling—skills that make him a go-to engineer for complex tooling and deployment challenges.
26 years of coding experience
21 years of employment as a software developer
Drs. Computer science, Drs. Computer science at Utrecht University
English, Dutch
Github Skills (36)
c-language10
system-programming10
nix10
css10
data-serialization10
c1110
serialization10
c1710
system10
deserialization10
cardano10
sys10
network-protocol10
build-automation10
blockchain10
Programming languages (20)
Github contributions (5)
NixOS/patchelf
Sep 2004 - Feb 2022
A small utility to modify the dynamic linker and RPATH of ELF executables
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 releases, 1 review, 296 commits in 17 years 7 months
Contributions summary:Eelco primarily contributed to bug fixes and refactoring within the `patchelf.c` file. These commits addressed issues in how the program handles ELF interpreter changes and memory allocation, enhancing the robustness of the utility. The user demonstrated a deep understanding of ELF file structures and low-level system programming by modifying and improving the program's ability to manipulate dynamic linkers and RPATHs.
executablesmodifyelflinker
NixOS/nixos-homepage
Sep 2005 - Jan 2023
Sources for nixos.org
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:9 reviews, 616 commits, 134 PRs in 17 years 6 months
Contributions summary:Eelco's commits primarily focused on front-end development, as evidenced by the CSS and HTML changes. They made significant revisions to the homepage's style and layout, which included adjustments to the navigation bar and overall page structure. Additionally, the user worked on adding new sections and features, such as packages explorer, to enhance the user experience.
nixossourcesnix
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.