I’m a postdoctoral researcher at HKA Karlsruhe (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. In April 2024 I successfully defended my dissertation, titled “Correctly Communicating Software: Distributed, Asynchronous, and Beyond” and available here.


Selected Publications

Journals

Conferences

Workshops

Academic Activity