Marc Schoolderman (MSc) is a seasoned systems software engineer at Tweede Golf, where he focuses on building memory-safe alternatives to critical components of internet infrastructure—such as the Network Time Protocol.
Previously, Marc worked as a researcher at Radboud University’s Computing Science department. He has taught courses on Software Engineering and Software Analysis, and researched the practical application of formal proofs to demonstrate software correctness.
