Latest News
Journal Paper accepted at FMSD
The paper Preserving Provability over GPU Program Optimizations with Annotation-Aware Transformations written by Ömer Şakar, Mohsen Safari, Marieke Huisman and Anton Wijs has been published at the journal Formal Methods in System Design.
Marieke Huisman to talk at the iFM conference
Marieke Huisman will give an invited talk at the iFM conference on November 21st 2025 in Paris. The title of her talk is: "Bug-free software: a realisable dream? (and how VerCors will help...)".
Marieke Huisman will present at the Bits & Chips event
Marieke Huisman will give a presentation at the Bits & Chips on November 20th 2025 in Eindhoven. The title of her talk is: "Bug-free software: a realizable dream?".
Keynote at VERSEN community event about research funding in software engineering research
Marieke Huisman will give a keynote about NWO funding at the next VERSEN community event. The community event is titled "How to Navigate the SE Funding Landscape: An Academic Perspective", and features several keynotes by community leaders and other activities. More information and a sign-up link are available on the VERSEN website.
PhD defense of Bob Rubbens
The VerCors team member Bob Rubbens sucessfully defended his PhD thesis on the 15th of October 2025. Congratulations, Doctor Robert Benjamin Rubbens! The thesis titled "Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification" is available online.
