Marko Doko

Marko Doko

About

Welcome!

I was a graduate student at the Max Planck Institute for Software Systems, advised by Viktor Vafeiadis.

I defended my PhD thesis, titled Program Logic for Weak Memory Concurrency, in December 2021.

I have since moved to Heriot-Watt University.