Viktor Vafeiadis

Viktor Vafeiadis is a tenured researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. He received his BA and PhD from the University of Cambridge (2004, 2008) and worked as a postdoctoral researcher at Microsoft Research Cambridge and the University of Cambridge before joining MPI-SWS in 2010. His research focuses on concurrency, verification of concurrent programs, weak memory consistency, weak persistency, and formal semantics of programming languages.

• Research Areas: Weak Memory Models, Program Verification, Persistent Programming, Automated Model Checking
• Key Tools: Cave (automated verification tool), GenMC (model checker), Kater (consistency checker)

His recent work explores linearizability under relaxed memory, mixed-size memory accesses, and formalizing ARMv8 persistency. Awards include the ACM SIGPLAN John C. Reynolds Award (2008), ERC Consolidator Grant (2020), and Robin Milner Young Researcher Award (2022).

Selected Awards:

• ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award (2008)
• ERC Consolidator Grant (2020)
• ACM SIGPLAN Robin Milner Young Researcher Award (2022)
• Distinguished Paper Awards: PLDI'17, OOPSLA'21, ECOOP'17

He has mentored numerous PhD students including Ellen Arlt, Pavel Golovin, and Aristotelis Koutsouridis, while alumni advisees include Soham Chakraborty and Michalis Kokologiannakis. His collaborative work spans institutions like University of Cambridge, Microsoft Research, and ETH Zürich.