I am a postdoctoral researcher at MPI-SWS hosted by Viktor Vafeiadis, a researcher at JetBrains Research, and a docent at Higher School of Economics. I did my PhD at St. Petersburg University. I was a research intern at the IMDEA Software Institute and MPI-SWS. I'm interested in weak memory models and certified programming.

Selected Publications

[DBLP, Google Scholar, Full list of publications]