Marko Doko

Marko Doko

Email: mdoko@mpi-sws.org

About

Welcome!

I am a graduate student at the Max Planck Institute for Software Systems. My advisor is Viktor Vafeiadis.

I submitted my PhD thesis, titled Program Logic for Weak Memory Concurrency, in April 2021.

If you want to know more check my CV.

Publications