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.

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, from October 2019 until September 2023. 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.

Selected Publications

Journals

Conferences

Workshops