Interview Material

The informal interview will be on Wednesday, 21 September 2022, 11h CET.

My research proposal can be found here. The slides for my presentation 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.