Место работы и должность

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

Образование

• ФГАОУ ВО СФУ — Бакалавр математики ("Математика. Компьютерные науки"), 2012 г.
• ФГАОУ ВО СФУ — Магистр математики ("Математика"), 2014 г.
• ФГАОУ ВО СФУ — Программа аспирантуры (Исследователь. Преподаватель-исследователь), 2018 г.

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

Общий: 12
По специальности: 10

Научные направления, профессиональные интересы

• Унификация в нестандартных логиках
• Интуиционистские логики
• Модальные логики знания и времени
• Предтабличные логики
• Приложения теории автоматов в логике

Диссертации

Кандидатская диссертация

Временные многоагентные логики и проблема унификации — 2018 г.

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

• Дискретная математика
• Алгебра
• Формальные системы в логике и алгебре
• Алгоритмы и рекурсивные функции
• Алгебраические системы с дополнительными структурами

Награды

• Лауреат государственной премии Красноярского края в сфере профессионального образования (2017): за успехи в научной и педагогической деятельности
• Лауреат 1-й премии XXI конкурса имени Августа Мёбиуса за работу «Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью» (Москва)

Членство в научных, профессиональных, общественных организациях

• 2016-2018 г. - член кадрового резерва СФУ по направлению "Научно-педагогическая деятельность"
• 2016-2019 г. - секретарь красноярского рабочего семинара "Неклассические логики"
• С 2018 г. - руководитель Молодежного учебно-научного семинара «Основы математической логики»

Публикации

Последние публикации:

Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Наиболее значимые публикации:

• Bashmakov S.I. Unification and inference rules in the multi-modal logic of knowledge and linear time LTK. Journal of Siberian Federal University. Mathematics and Physics. V. 9, № 2. 2016. pp. 148-156. DOI: 10.17516/1997-1397-2016-9-2-149-157
• Bashmakov S. I., Kosh­eleva A.V., Rybakov V­. Non-unifiability in l­inear temporal logic ­of knowledge with mul­ti-agent relations. Siberian Electronic M­athematical Reports. ­V. 13. 2016. pp. 656–663. DOI: 10.17377/semi.2016.13.052
• Bashmakov S.I., Kosheleva A.V., Rybakov V. Projective formulas and unification in linear discrete temporal multi-agent logics. Siberian Electr. Math. Reports. V. 13. 2016. pp. 923–929. DOI: 10.17377/semi.2016.13.074
• Bashmakov S.I., Kosheleva A.V., Rybakov V. Unification for multi-agent temporal logics with universal modality. IfCoLog Journal of Logics and their Applications. V. 4, N.4. 2017. pp. 939-954. - Режим доступа: http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf
• Башмаков С.И., Голованов М.И. Аксиоматизация интуиционистских логик, определяемых малыми фреймами. Матем. заметки Северо-Вост. федерал. унив-та, Т. 24, № 1. 2017, с. 6-15. - Режим доступа: http://mi.mathnet.ru/svfu2
• Bashmakov S. I. Unification in linear modal logic on non-transitive time with the universal modality. Journal of Siberian Federal University. Mathematics and Physics. V. 11, № 1. 2018. pp. 3-9. DOI: 10.17516/1997-1397-2018-11-1-3-9
• Башмаков С. И. Временные многоагентные логики и проблема унификации. Дисс. … канд. физ.-матем. наук, СФУ, Красноярск. 2017, 83 с. http://research.sfu-kras.ru/node/12678 DOI: 10.13140/RG.2.2.26947.30249
• S. I. Bashmakov, “Unification in Pretabular Extensions of S4”, Logica Universalis, 2021 (Published online) https://link.springer.com/article/10.1007/s11787-021-00287-0
• S. I. Bashmakov, T. Yu. Zvereva, “Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality”, Bulletin of the Section of Logic, 51:3 (2022), 345-361 https://czasopisma.uni.lodz.pl/bulletin/article/view/9975

Всего публикаций: 25.

Ссылка на профиль в Scopus

Ссылка на профиль в Академии Google

Участие в грантах, проектах

• Системы неалгебраических уравнений, степенные суммы корней и компьютерная алгебра — ККФН-РФФИ, 2021-2022 (грант № 20-41-243002)
• Логико-математические модели и их приложения в информационных науках — ККФН-РФФИ, 2018-2020 (грант № 18-41-240005)

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

• ФГАОУ ВО "СФУ", Инклюзивное образование в вузе: от теории к практике, Удостоверение 93/23 - Б 319 — 2023 г.
• Фонд "Центр стратегических разработок "Северо-Запад", Корпоративный университет (Лаборатория изменений). Шкла ППС, Удостоверение 7819 00729244 — 2023 г.
• ФГАОУ ВО "СФУ", Подготовка к Кембриджским экзаменам - PET (B1), Удостоверение 26-1/19-Б222 — 2019 г.
• ФГАОУ ВО "СФУ", Современные подходы к укреплению общероссийской гражданской идентичности, Удостоверение 240400065198 — 2023 г.
• ФГАОУ ВО "СФУ", Противодействие терроризму и экстремизму, Удостоверение 93/21 - Б 328 — 2021 г.
• НИ "ТГУ", Модели и технологии интеграции онлайн-курсов в образовательные программы, Удостоверение 20-29.258-191 — 2020 г.
• ФГАОУ ВО "СФУ", Аспекты формирования воспитательной среды вуза, Удостоверение 93/20 - Б 481 — 2020 г.
• ФГАОУ ВО "СФУ", Экономическая культура и финансовая грамотность в цифровой экономике, Удостоверение 26-1/19-НВ 1379 — 2019 г.
• ФГАОУ ВО "СФУ", Certificate in Advanced English: 72%, Сертификат ФПКП — 2019 г.
• ФГАОУ ВО "СФУ", Инклюзивное образование в вузе: от теории к практике, Удостоверение 26-1/19-Б170 — 2019 г.
• ФГАОУ ВО "СФУ", Корпоративные сервисы СФУ, Сертификат 26-1/18-Э 573 — 2018 г.
• ФГАОУ ВО "СФУ", Управление проектами, Удостоверение 26-1/16-Б1160 — 2016 г.

Научно-педагогическая и общественная деятельность

• Член Совета молодых ученых СФУ (2017-2019 гг.); Член Совета по воспитательной работе СФУ (с 2018 г.).

ORCID 0000-0002-3354-0383

ResearcherID K-7178-2017

Research Gate

Прикрепленные файлы
CV_Bashmakov.pdf	.pdf	154.53 кб