Сибирский федеральный университет

Место работы

• Кафедра алгебры и математической логики, доцент;
• Институт математики и фундаментальной информатики, заместитель директора по воспитательной работе.

Диссертации

• Временные многоагентные логики и проблема унификации (кандидат физико-математических наук, 2018).

Образование

• Сибирский федеральный университет, математика и компьютерные науки (бакалавриат), 2012 г.;
• Сибирский федеральный университет, математика (магистратура), 2014 г.

Научные направления

• унификация в нестандартных логиках;
• интуиционистские логики;
• модальные логики знания и времени;
• предтабличные логики;
• правила вывода.

Преподаваемые дисциплины

• дискретная математика;
• алгебра;
• формальные системы в логике и алгебре;
• алгоритмы и рекурсивные функции;
• дополнительные главы логики и дискретной математики.

• Curriculum Vitae (.pdf)

Повышение квалификации, стажировки

• СФУ, Certificate in Advanced English: 72%, Сертификат ФПКП — 2019 г.
• СФУ, Подготовка к Кембриджским экзаменам - PET (B1), Удостоверение 26-1/19-Б222 — 2019 г.
• СФУ, Инклюзивное образование в вузе: от теории к практике, Удостоверение 26-1/19-Б170 — 2019 г.
• СФУ, Корпоративные сервисы СФУ, Сертификат 26-1/18-Э 573 — 2018 г.
• СФУ, Управление проектами, Удостоверение 26-1/16-Б1160 — 2016 г.

Стаж работы (полных лет)

• Общий: 7.
• По специальности: 5.