My name is Michalis Kokologiannakis and I am a PhD student at the Max Planck Institute for Software Systems (MPI-SWS). My advisor is Viktor Vafeiadis.

I got my MEng in Electrical and Computer Engineering from the National Technical University of Athens (NTUA) in October 2016. My diploma thesis was titled "Systematic Concurrency Testing of Read-Copy-Update under Sequentially Consistent and Weak Memory Models", and was done under the supervision of Kostis Sagonas.

Research Interests

I am broadly interested in programming languages, compilers, weak memory models, and software verification. More specifically, I am mainly interested in advancing the state of the art of testing, concurrent software verification with emphasis on systems programming, and efficient algorithms for stateless model checking that incorporate extensions for checking the effects of the weak memory models employed by modern microprocessors.

During my PhD I have been developing GenMC, a stateless model checker than can be used to verify C/C++ programs under weak memory models.


You can find all my publications below (also on Google Scholar, dblp ).


Address: MPI-SWS
Paul-Ehrlich-Str. 26
67663 Kaiserslautern