Egor Namakonov


I've started my research at JetBrains in 2019 under supervision of Anton Podkopaev in the weak memory models group.

I'm a Masters student at the St Petersburg University. Before that I've obtained a Bachelor degree with distinction at the Peter the Great St.Petersburg Polytechnic University.

During my Bachelor studies I've been working in OpenWay as a DevOps engineer.

Professional Activity

  • Weak memory models
  • Software verification
  • Interactive theorem proving
  • Programming Languages and Tools Lab Researcher
    • 2019 - now: participating in the Intermediate Memory Model project ( which aims to simplify compilation correctness proofs for memory models.