I've been doing weak memory models research at JetBrains under the supervision of Anton Podkopaev since 2019.
Currently I'm a PhD student at the St Petersburg University. Before that I've obtained a Bachelor degree at the Peter the Great St.Petersburg Polytechnic University and a Master degree at the St Petersburg University.
During my Bachelor studies I've been working in OpenWay as a DevOps engineer.
- Weak memory models
- Software verification
- Interactive theorem proving
Programming Languages and Tools Lab Researcher
- 2019 - now: participating in the Intermediate Memory Model project (github.com/weakmemory/imm) which aims to simplify compilation correctness proofs for memory models.