The paper ‘Minimal and Canonical Quotients for Simulation Equivalences’ by Eduardo Costa Martins and Tim Willemse was accepted at CONCUR’26. The paper deals with the problem of quotienting transition systems modulo coupled simulation equivalence and weak simulation equivalence, showing that both notions of simulation admit a canonical quotient, computable in polynomial time, but that, surprisingly, …continue reading
Author: Tim Willemse
Vacancy for an Assistant Professor in FSA
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 TU/e. Focussing on the interdisciplinary area of Formal Methods and AI, its goal is to develop theory and techniques to …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 computing at our FSA colloquium.
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 Adam Petri will be held in June in Hamburg, Germany, where Petri held an honorary professorship. The paper itself deals …continue reading
Eduardo Costa Martins joins FSA!
Eduardo Costa Martins, who recently graduated in the FSA group under the supervision of Bas Luttik, started as a PhD student in our group and will be supervised by Tim Willemse and Jan Friso Groote. They’ll be working on the Cynergy4MIE project. A warm welcome to Eduardo!
New moderator Concurrency mailinglist
Valentina Castiglioni will be the new moderator for the Concurrency mailinglist. She will take over from Jan Friso Groote, who has, for the last 30 years, been the one caring for the mailinglist, ensuring consistent and timely delivery of news related to concurrency theory to all its subscribers. For this, he recently received an informal …continue reading
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 Probabilistic Model Checking. We offer a four-year long PhD position in the area of probabilistic model checking.Existing analysis techniques for …continue reading
Two Open PhD Positions
The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. 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 Probabilistic Model Checking. We offer a four-year long …continue reading
Mara Miulescu joins FSA
Mara Miulescu, who recently graduated with FSA, will continue as a PhD student in FSA, working under the supervision of Thomas Neele. A warm welcome to Mara!