Биография

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

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

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

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

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