Биография

Выпускник СУНЦ УрФУ'15. В 2017/2018 учебном году стал частью команды разработчиков символьной виртуальной машины .NET. В 2019 году окончил с отличием математико-механический факультет СПбГУ по направлению «Программная инженерия», кафедра системного программирования. На данный момент продолжает учиться в магистратуре по прежнему направлению.

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

• Интерактивные средства доказательства теорем
• Системы типов и логики
• Анализ динамической памяти
• Дизъюнкты Хорна и функциональные программы высшего порядка