Michalis Kokologiannakis

Michalis Kokologiannakis is an Assistant Professor in the Department of Computer Science at ETH Zurich. His research focuses on automated reasoning, algorithmic verification, concurrency, testing, and tools. Prof. Kokologiannakis is affiliated with ETH Zurich and contributes to the academic community through his work in these areas. His profile page provides additional information about his research and academic activities.

Michalis Kokologiannakis is a researcher at ETH Zurich with expertise in Programming Languages, Concurrency, and Software Verification. His work focuses on model checking techniques for concurrent systems, particularly in the context of C/C++ and hardware memory models. He has developed tools such as GenMC and HMC to enable stateless model checking for weakly consistent libraries and distributed protocols. His research addresses challenges in dynamic partial order reduction, linearizability, and memory consistency, with applications to systems like the Linux kernel's RCU and ext4 filesystem. Kokologiannakis' contributions aim to improve the verification of concurrent software and hardware systems through formal methods and automated analysis.