Bas van den Heuvel

About

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. In April 2024 I successfully defended my dissertation, titled “Correctly Communicating Software: Distributed, Asynchronous, and Beyond” and available here.

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)

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.