My name is Michalis Kokologiannakis and I am a PhD student at the National Technical University of Athens, advised by 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.

I am also interested in the Read-Copy-Update (RCU) synchronization mechanism, its usage and applications, and RCU's implementation in the Linux Kernel.