About
Current position
I’m a postdoctoral researcher at Karlsruhe University of Applied Sciences (DE) and the University of Freiburg (DE; my office is here), since November 2023. Together with Peter Thiemann and Martin Sulzmann, I work on the trace-based analysis of data races in concurrent programs.
Studies
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. I will defend my thesis on 2024-04-02 12:45, at University of Groningen’s Academy Building; you can find an extended preprint of my dissertation on ArXiv.
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)
Past jobs
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.