Marko Doko

Marko Doko is an Assistant Professor in the Computer Science Department at the School of Mathematical and Computer Sciences, Heriot-Watt University. He completed his PhD at the Max Planck Institute for Software Systems (MPI-SWS) in Germany under Viktor Vafeiadis' supervision. His research focuses on formal verification of concurrent systems, weak memory models, and program logic.

Key Research Trends: His work bridges theoretical computer science and formal methods, particularly in concurrency and memory consistency. Recent publications address challenges in weak memory concurrency, series summation in Banach spaces, and separation logic for memory models.

Advising: No student advising details available. Labs/Teams: No affiliations with labs or teams mentioned.