Scholar
Michalis Kokologiannakis
Google Scholar ID: XFuVEXkAAAAJ
ETH Zurich
Citations & Impact
Citations
574
H-index
11
i10-index
12
Publications
20
Co-authors
9
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers on program verification, concurrent programming, and weak memory models, such as 'Optimal Concolic Dynamic Partial Order Reduction', 'Dynamic Robustness Verification against Weak Memory', etc.
Research Experience
- Assistant Professor at ETH Zurich; developed tools such as GenMC and Kater.
Education
- PhD: MPI-SWS; MEng: National Technical University of Athens (NTUA).
Background
- Assistant professor, with research interests in programming languages, compilers, and software verification. Specifically focused on automated verification and testing, particularly in concurrent programming and algorithms that incorporate checks for the effects of weak memory models.
Miscellany
- If interested in pursuing a PhD in automated verification, feel free to email directly.
