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

Биография

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

Студент магистратуры Санкт-Петербургского государственного университета. Ранее с отличием закончил бакалавриат Санкт-Петербургского политехнического университета Петра Великого.

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

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

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