About

Current job

I’m enjoying a prolonged summer holiday, but will start a new software engineering job at Axini in August. Here, I will put my theoretical knowledge to practice in contributing to Axini’s software for model-based testing.

Past jobs

From November 2023 until June 2025, I was a postdoctoral researcher at Karlsruhe University of Applied Sciences (DE) and the University of Freiburg (DE). Together with Peter Thiemann and Martin Sulzmann, I worked on the trace-based analysis of data races in concurrent programs.

From October 2019 until September 2023, I did my PhD at the Bernoulli Institute, University of Groningen (NL) for the VIDI project Unifying Correctness for Communicating Software under the supervision of Jorge A. Pérez. In April 2024 I successfully defended my dissertation, titled “Correctly Communicating Software: Distributed, Asynchronous, and Beyond” and available here. My dissertation won the 2nd place VERSEN 2024 PhD Thesis Award!

Before that, I have been a Teaching Assistant for several courses taught by Alban Ponse and Inge Bethke at the University of Amsterdam and the Vrije Universiteit Amsterdam. Moreover, I have worked at Het Zwarte Fietsenplan for many years, developing and maintaining their internal management website, as an employee and more recently as a freelance developer.

Studies

I have obtained my MSc in Logic at the ILLC, University of Amsterdam (thesis under supervision of Jorge A. Pérez and Alban Ponse) and my BSc in Computer Science at the University of Amsterdam (thesis under supervision of Bob Diertens and Alban Ponse)