Latest News
Member graduation: Wander Nauta
One of our ex-master students, Wander Nauta, has graduated today. His masters thesis is titled "AValAnCHE: Improving robustness of the VerCors verification toolset using fuzzing". You can find it here. Well done Wander! We wish you the best of luck in your future endeavors.
Best Paper Award at COORDINATION 2025
Bob Rubbens, Petra van den Bos and Marieke Huisman won the COORDINATION 2025 Best Paper Award for their submission titled "Verified Parameterized Choreographies". Congratulations! The prize was awarded and celebrated at the DisCoTec umbrella conference banquet on Wednesday.
VERSEN MSc awards 2024
Our former Master student Ellen Wittingen won third prize at the VERSEN MSc awards 2024. Congratulations Ellen!
Her master thesis is titled "Deductive verification for SYCL". You can find it here.
Marieke Huisman ended her term as SC chair of the ETAPS conferences
Marieke Huisman ended her term as SC chair of the ETAPS conferences. Her role will be taken over by Laura Kovacs. During the general assembly held during the recent ETAPS conference in Hamilton, she was thanked for her contributions to ETAPS.
Paper accepted at FMICS 2025
The paper AutoSV-Annotator: Integrating Deductive and Automatic Software Verification written by Lukas Armborst, Dirk Beyer, Marieke Huisman and Marian Lingsch-Rosenfeld has been accepted at FMICS 2025.