We have an Assistant Professor vacancy in our group on the topic of Formal Methods and Neuro-Symbolic AI. The offered position is part of a broader department-wide mission-driven research collaboration on Zero-touch systems at the …continue reading
News
Open PhD Position
The formal system analysis group has an open PhD position. Please contact us, in case you consider to strive towards a PhD and have strong background in mathematics and computer science. PhD on Uncertainty in …continue reading
Paper accepted at QEST+FORMATS 2026
The paper “Verification of parametric Markov Automata under time-bounded reachability” by Kevin van de Glind, Matthias Volk and Tim Willemse has been accepted for publication at QEST+FORMATS 2026. The paper introduces parametric Markov automata (pMA) …continue reading
Dutch Formal Methods Day @ TU/e
Big turn out at the Dutch Formal Methods Day at the TU/e today, co-organised by our own Jore Booy. And a great set of speakers!
Mohammad Reza Mousavi visits FSA
We have the pleasure of Mohammad Mousavi (King’s College, UK), former professor in the FSA group, visiting our group on the occasion of Tom Franken’s defence. Mohammad will give a talk about testing for quantum …continue reading
FSA at CAV’26
The paper “Scalable Deductive Verification of Data-Level Parallel Programs” by Lars B. van den Haak, Marieke Huisman and Anton Wijs has been accepted for publication at CAV 2026. This paper introduces several techniques that improve …continue reading
Tim Willemse receives GEWIS Best Teacher Award
We are proud to announce that Tim Willemse has won the GEWIS Best Teacher Award. Students chose Tim for his commitment to making complex theoretical concepts simple and accessible to everyone, and for his willingness …continue reading
FSA at FORTE 2026
The paper “Control Flow-Based Symmetry Reduction for Parametrised Boolean Equation Systems” by Menno Bartels, Maurice Laveaux, Thomas Neele and Tim Willemse has been accepted for publishing in the proceedings of FORTE 2026! This work defines …continue reading
FSA going to Japan!
The paper “A Method for Testing Partial-Order Reduction Theories in Alloy” by Mara Miulescu and Thomas Neele has been accepted for publication in the proceedings of ABZ 2026. In this work, we present a method …continue reading
Weakly Terminating Petri Nets
The paper “Constructing Weakly Terminating Interface Protocols”, by Deb Bera (TNO-ESI) and Tim Willemse was accepted for the 2026 edition of the Petri Nets conference, which, on the occasion of the 100th birthday of Carl …continue reading
Research agenda on automata learning published
The paper A research agenda for active automata learning (DOI) by Thomas Neele and co-authors has recently been published under open access in the STTT journal. The paper aims to appeal to a broad public. …continue reading