David Van Moolenbroek
Senior Software Engineer at AimValley
Utrecht, Netherlands
Summary
👤
Senior🎓
Top SchoolDavid Van Moolenbroek is a Senior Software Engineer with a PhD in Computer Systems and 19 years of experience building reliable, low-level software. His research under Andrew Tanenbaum focused on storage-stack dependability, and he has translated that academic rigor into long-term contributions to the MINIX microkernel project, including system-level C work such as integrating devname(3) for device management. At AimValley he applies his expertise to production systems while maintaining a strong open‑source presence and co-managing collaborative codebases. Known for meticulous, reusable designs and the ability to hit short-term deadlines without losing sight of long-term correctness, he combines scientific publishing experience with practical engineering. Based in Utrecht, he brings deep knowledge of OS internals, fault tolerance, virtualization and security to complex infrastructure challenges.
19 years of coding experience
1 year of employment as a software developer
Master of Science (MSc), Computer Science, Master of Science (MSc), Computer Science at Vrije Universiteit Amsterdam (VU Amsterdam)Doctor of Philosophy (PhD), Computer Systems, Doctor of Philosophy (PhD), Computer Systems at VU University Amsterdam
Dutch, English
Github Skills (6)
c1710
device-driver10
c1110
system-programming10
operating-system10
filesystem9
Programming languages (3)
Github contributions (5)
Stichting-MINIX-Research-Foundation/minix
Mar 2012 - May 2017
Official MINIX sources - Automatically replicated from gerrit.minix3.org
Role in this project:
Back-end Developer
Back-end DeveloperContributions:566 commits, 25 PRs, 231 comments in 5 years 3 months
Contributions summary:David's contributions center around adding and enabling support for the devname(3) command within the MINIX operating system, specifically for the fdisk utility. Their work involved modifications to existing C source files, including changes to headers and makefiles, showcasing their involvement in system-level programming. The user appears to have focused on integrating the devname(3) command into the MINIX operating system to improve device management.
minixgerritreplicatedminix3sources
tcort/minix-i2c
Apr 2012 - Sep 2013
Contributions:67 commits in 1 year 5 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.