Obtained Veni grant

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!