Arvid Bonten
Student Assistant and Software Developer – Formal Methods & Systems
Student Assistant and Software Developer – Formal Methods & Systems
I am currently pursuing a Master's degree in Software Science at Radboud University, here I have developed a strong focus on formal methods, program verification, and systems development.
I love tackling tricky problems in areas like provable security, separation logic, and using tools like EasyCrypt and Jasmin. Outside of classes, I run my own servers, experimenting with distributed systems, automation, and secure setups.
In the upcoming year, I will be the PoCo of the NSSR. In this role, I want to be the voice for all the active students in Nijmegen and bring policy changes which are beneficial for active students.
This year I’m leading SSVN Tussen de Torens, organizing events including our first Lustrum.
I enjoy a variety of activities in my free time, including poledancing, chess, and esports.
MSc in Software Science, Radboud University (2025 – Present)
During this project, I will be investigating and verifying the correctness and properties of various Post-Quantum algorithms using EasyCrypt and Jasmin.
BSc in Computing Science, Radboud University (2021 – 2025)
Investigated formal verification for program synthesis in separation logic, focusing on proving soundness properties. Read the full thesis .
Working as a student programmer contributing to academic software. My responsibilities include reviewing code, writing guidelines, coding.
Assisted in teaching and course development, including grading assignments, guiding workgroups, and contributing to course redesign and documentation.
Designed and built a personal server from scratch to host a variety of services. This includes a media server, private cloud storage, communication servers (e.g. TeamSpeak), and web hosting, overleaf CE and more.
Developed a scheduling plugin for an internal communication tool within a Scrum team, taking on the role of Scrum Master and helping with test development.
Contributed to redesigning a university course by improving documentation, creating structured resources, and maintaining a course wiki.