Egor Namakonov

Egor Namakonov


Research Groups

Biography

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.

Professional Activity

  • Weak memory models
  • Software verification
  • Interactive theorem proving

Publications

Making Weak Memory Models Fair

2021

O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis

Distinguished Paper Award at OOPSLA'21

OOPSLA

Read more