Generate a tailored SOP for Dr. Michalis Kokologiannakis. Improve your application with a focused, well-structured draft.
Michalis Kokologiannakis is an assistant professor at the Max Planck Institute for Software Systems. He holds a PhD from the same institution and a Master's degree from the National Technical University of Athens. His research interests center around programming languages, compilers, and software verification, with a particular focus on automated verification testing. His work emphasizes concurrent programming algorithms and incorporates extensions to check effects of weak memory models used in modern microprocessors. He is actively pursuing advancements in automated verification methodologies, developing tools such as GenMC, a stateless model checker, which verifies C/C++ programs against weak memory models.
Max Planck Institute for Software Systems • Zürich, Switzerland
Conducting research in programming languages and software verification, focusing on concurrent programming and automated verification.