Войти с помощью портала «Госуслуги»
Единая система идентификации и аутентификации
Направление деятельности: Физико-математические науки
Кандидат физико-математических наук, доцент.
В 2012 году закончил бакалавриат Сибирского федерального университета и получил степень бакалавра математики ("Математика. Компьютерные науки").
В 2014 году закончил магистратуру Сибирского федерального университета и получил степень магистр математики ("Математика").
В 2018 году закончил аспирантуру.
В 2018 году защитил кандидатскую диссертацию "Временные многоагентные логики и проблема унификации".
Научные направления, профессиональные интересы: унификация в нестандартных логиках; интуиционистские логики; модальные логики знания и времени; предтабличные логики; приложения теории автоматов в логике; правила вывода.
Заместитель директора по воспитательной работе Института математики и фундаментальной информатики Сибирского федерального университета. Доцент кафедры алгебры и математической логики Сибирского федерального университета.
Член Совета молодых ученых СФУ (2017-2019 гг.); Член Совета по воспитательной работе СФУ (с 2018 г.).
Автор более 35 научных публикаций.
Лауреат государственной премии Красноярского края в сфере профессионального образования (2017): за успехи в научной и педагогической деятельности. Лауреат 1-й премии XXI конкурса имени Августа Мебиуса за работу "Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью" (Москва).
