Michalis Kokologiannakis

Michalis Kokologiannakis is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland. Previously, he was affiliated with the Max Planck Institute for Software Systems (MPI-SWS) in Germany where he completed his PhD.

His research focuses on programming languages, compilers, and software verification, with particular emphasis on:

• Automated verification and testing of concurrent programs
• Weak memory models employed by modern microprocessors
• Stateless model checking techniques
• Formal methods for program analysis

His work has led to the development of several verification tools including GenMC (a stateless model checker for C/C++ programs under weak memory models) and Kater (a tool that automates weak memory model metatheory and consistency checking).

Dr. Kokologiannakis has published extensively at top-tier programming languages and verification conferences including PLDI, POPL, OOPSLA, and CAV. His research has pioneered advances in stateless model checking, partial order reduction, and verification under weak memory consistency models.

He completed his MEng at the National Technical University of Athens (NTUA) before earning his PhD from MPI-SWS.