Midterm Defense

My midterm defense will be on Wednesday, 12 May 2021, 10h CET. It will be online, and the details can be found below.

Participate via Zoom: https://us02web.zoom.us/j/2391972631?pwd=UWZ5dzJycWt3aXBVa3JneVJua0NTZz09
Meeting ID : 239 197 2631
CodeĀ : 03EY2f

The report for the defense can be found here.

The Concur 2020 paper on Bounded Reachability can be found here: conference version long version
The Concur 2021 submission on Synchronizability can be found here: preprint

For any further details, please do not hesitate to send me an email.