Marc

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.