Егор Намаконов

Егор Намаконов


Исследовательские группы

Биография

Начал исследования в JetBrains Research в 2019 году под руководством Антона Подкопаева в группе слабых моделей памяти.

Аспирант СПбГУ. Ранее закончил бакалавриат СПбПУ и магистратуру СПбГУ.

Во время бакалавриата стажировался в компании OpenWay и работал в ней DevOps-инженером.

Профессиональная активность

  • Слабые модели памяти
  • Верификация ПО
  • Средства интерактивного доказательства теорем