IPA Dissertation Award for Thomas Neele

Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions for Parity Games and Model Checking”. In his thesis, Thomas explores symbolic techniques for simplifying and solving parameterised Boolean equation …continue reading

Paper on process decomposition accepted for ICE 2021

The paper Decomposing Monolithic Processes in a Process Algebra with Multi-actions by Maurice Laveaux and Tim Willemse was accepted for presentation at ICE 2021, a workshop co-located with DisCoTec 2021. The interactive style of reviewing employed by the ICE workshop was both interesting and a pleasurable experience.

Paper accepted at GandALF 2018

The paper “A Comparison of BDD-Based Parity Game Solvers” by Lisette Sanchez, Wieger Wesselink and Tim Willemse  has been accepted for presentation at the International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) that will be held in September in Saarbrücken (Germany). The work builds on the FSA seminar assignment carried out by Lisette in …continue reading