On Wednesday 3 June, Tom Franken will defend his PhD thesis titled A Parallel Programming Perspective: Designing AuDaLa and AuDaLogic at Eindhoven University of Technology. Good luck!
Our paper titled Compositional Active Learning of Synchronizing Systems through Automated Alphabet Refinement received the award for the best paper of CONCUR 2025!
Today I received my University Teaching Qualification (Dutch: BKO) certificate. Thanks to all the staff in the TEACH team for sharing their knowledge.
I am very happy that my proposal "Explainable Formal Methods with Certificates" has been awarded a Veni grant by NWO (the Dutch research council)! Veni is a personal grant for early-carreer researchers in the Netherlands. I am looking forward to doing fundamental research on efficient certifying model checkers!
The paper AuDaLa is Turing Complete that I wrote together with Tom Franken has been accepted at FORTE 2024!
Today I started as Managing Director of IPA. I am looking forward to many interesting talks and fruitful interactions at one of the IPA events. First on the planning is a course on software engineering.
I am PC co-chair of SPIN 2024. This 30th edition introduces artifact evaluation and features an anniversary track for historical accounts and other papers of broad interest. See the call.
The TU/e will host SEFM 2023 in Eindhoven, November 6-10. I am one of the local organisers, hope to see you there.
The special issue of STTT on TACAS 2021 tool papers that I guest edited is complete. We accepted six high-quality submissions. The full issue is available via Springer.
On 29 March, to celebrate winning the IPA dissertation award 2020, I will talk about my research and about the lessons learned during my PhD. Event details are on the IPA website.
I won the EATCS best paper award at ETAPS2020 for the paper The inconsistent labelling problem of stutter-preserving partial-order reduction!