- Software engineer
Marc has heaps of experience in machine coding, C, C++ and more recently, Rust. He is interested in software verification and his main focus is using artificial intelligence to perform proofs. He is also tenacious. Once a course of action has been chosen, Marc is the one to sort out the details, dot the i's and cross the t's.
It makes sense then that Marc is mostly working on secure systems programming; for example, he is part of the team working on
sudo-rs, a re-implementation of sudo/su in Rust.
In the past, Marc has worked as a teacher and researcher at Radboud University - Computing Science, of course, teaching courses like 'Software Analysis', writing articles like ´Efficient Verification of Optimized Code´. He was also part of the University's Security Group. He now continues to share his expertise on the
Rust 101 project.
In his spare time, Marc is often inspired by the non-digital world, particularly history and analogue photography.
At Tweede golf we are convinced that if software is written in Rust, it will be more robust (compared to legacy languages such as C, C++ or Java), and more efficient (compared to code written in PHP or Python and again, Java).
In order to get more robust software out there, we have to get Rust code running on computers of people who are not themselves Rust developers.
ntpd-rs is an open-source implementation of the Network Time Protocol completely written in Rust, with a focus on exposing a minimal attack surface. This video explains how ntpd-rs brings NTP into the modern era.
The project was initially funded by ISRG's Prossimo, as part of their mission to achieve memory safety for the Internet's most critical infrastructure. The NTP initiative page on Prossimo's website tells the story.