Latest News
Team member changes
We welcome Bob Rubbens, former PhD of the VerCors team, as a postdoc on the VerCors team. In collaboration with Andrea Continella and Marieke Huisman, he will be investigating how formal methods and tools such as VerCors can guarantee the security of software, both on a practical and theoretical level.
Paper accepted at EMSOFT 2025
The paper Deductive Verification of Cooperative RTOS Applications (DOI) written by Philip Tasche, Paula Herber and Marieke Huisman has been accepted at EMSOFT 2025. The accompanying artifact (DOI) also received the Available, Reusable and Results Reproduced badges.
Member graduation: Ioan-Alexandru Zambori
One of our ex-bachelor students, Ioan-Alexandru Zambori, has graduated today. He presented his Bachelor's thesis titled "Loop Invariant Generation for Deductive Verification of Embedded Systems". Congratulations, Alex! We wish you best of luck in your future endeavors.
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.
