I am a 4th-year PhD student at MPI-SWS under supervision of Dr.Viktor Vafeiadis. Area of my current research includes model checking, weak memory models, formal verification of concurrent programs. Before I had an experience with compiler engineering, functional programming, type theory and low-level programming.

Publications

POPL’25 RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency, [Talk], [Slides], [PDF], [Cite]

Teaching Assistance

2026 Algorithms on Strings, RPTU Kaiserslautern

2019-2021 Math Logic and Type Theory courses, ITMO University