Судоплатов, Сергей Владимирович

Родился 13 июля 1964 года в Новосибирске.

• сентябрь 1971 — июнь 1981: ученик средней школы № 42 г. Новосибирска;
• июль 1981 — июнь 1986: студент механико-математического факультета Новосибирского государственного университета ([ группа 115]);
• сентябрь 1986 — сентябрь 1987: стажёр-исследователь Новосибирского государственного университета;
• октябрь 1987 — октябрь 1990: аспирант Новосибирского государственного университета;
• октябрь 1990 — август 1991: ассистент Новосибирского электротехнического института;
• сентябрь 1991 — июнь 1993: старший преподаватель Новосибирского государственного технического университета (бывший НЭТИ);
• июнь 1993 — август 2001: доцент Новосибирского государственного технического университета;
• июнь 1995 — по настоящее время: соорганизатор Международных летних школ-конференций «Пограничные вопросы теории моделей и универсальной алгебры»
• сентябрь 2001 — сентябрь 2004: докторант Новосибирского государственного технического университета;
• сентябрь 2004 — август 2007: доцент Новосибирского государственного технического университета;
• сентябрь 2007 — январь 2015: профессор Новосибирского государственного технического университета;
• февраль 2015 — по настоящее время: заведующий кафедрой алгебры и математической логики Новосибирского государственного технического университета (дисциплины «Линейная алгебра и аналитическая геометрия» и «Дискретная математика»)^[3];
• сентябрь 1998 — июнь 2006: доцент Бердского филиала Новосибирского государственного технического университета;
• февраль 2003 — по настоящее время: преподаватель спецкурсов (курс «Математика») в физико-математическом классе Гимназии № 1 г. Новосибирска^[3];
• июль 2005 — июнь 2009: старший научный сотрудник Института математики им. С. Л. Соболева СО РАН;
• июль 2009 — по настоящее время: заместитель директора по науке, главный научный сотрудник Института математики им. С. Л. Соболева СО РАН^[4][2];
• апрель 2013 — февраль 2018: доцент Новосибирского государственного университета;
• март 2018 — по настоящее время: профессор Новосибирского государственного университета (дисциплина «Математическая логика»)^[3];
• январь 2015 — декабрь 2017: главный научный сотрудник Института математики и математического моделирования, Алматы, Казахстан;
• март 2018 — по настоящее время: член Диссертационного совета Д 999.082.03
• ноябрь 2018 — по настоящее время: член Ассоциации символической логики

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

Тема диплома: Условия нормальности элементарных теорий,

Научный руководитель: профессор Евгений Андреевич Палютин.

• Кандидат физико-математических наук, 1990, Институт математики имени С. Л. Соболева СО АН СССР,

Тема диссертации: «Базируемость стабильных теорий и свойства счётных моделей с мощными типами»^[5],

Научный руководитель: профессор Евгений Андреевич Палютин.

• Учёное звание доцента по кафедре алгебры и математической логики, 21 декабря 1994 года^[6][7]

• Доктор физико-математических наук, 2007, Институт математики им. С. Л. Соболева СО РАН,

Тема диссертации: Теории с конечным числом счётных моделей и полигонометрии групп^[8]

Научный консультант: профессор Евгений Андреевич Палютин.

• 1986 г. Диплом I степени XXIV Всесоюзной научной студенческой конференции, Новосибирск, Новосибирский государственный университет (за работу «Условия нормальности элементарных теорий»)
• 1986—1987 уч. г. Лауреат Всероссийского конкурса студенческих дипломных работ

• 2007 г. Премия Сибирского математического журнала

• 2008 г. Почётная грамота и премия Мэрии города Новосибирска за высокопрофессиональную учебно-методическую, научную и педагогическую деятельность

• 2010 г. Лауреат премии Правительства Российской Федерации в области образования (за цикл трудов «Концепция формирования логико-математического образования в высшей школе»)^[9],
• 2017 г. Почётный работник сферы образования Российской Федерации
• 2019 г. Почётная грамота за многолетний добросовестный труд, высокий профессионализм и в связи с 60-летием со дня основания Новосибирского государственного университета
• 2020 г. Почётный знак «Заслуженный ветеран Сибирского отделения РАН»
• 2024 г. Благодарность Губернатора Новосибирской области^[10]

• Университет Париж 7, Франция (апрель — май 1993)
• Университет Клод Бернар Лион 1, Франция (май — октябрь 1993)
• Университет штата Иллинойс в Урбана-Шампейне, США (февраль — март 2004)
• Восточно-Казахстанский государственный технический университет имени Д. Серикбаева, Усть-Каменогорск, Казахстан (декабрь 2008)
• Математический институт Сербской академии наук и искусств, Белград, Сербия (июль 2009)
• Барселонский университет, Барселона, Каталония, Испания (июль 2011)
• Нотр-Дамский университет, Университет штата Иллинойс в Чикаго, Университет Висконсин-Мадисон, США (февраль — март 2013)

Систематизировал основные структурные свойства теорий с конечным числом счётных моделей в классах стабильных и нестабильных теорий. Предложил универсальную синтаксическую конструкцию построения генерических моделей элементарных теорий, обобщающую известную и широко применяемую конструкцию Фраиссе, а также конструкцию Хрушовского. Определил основные теоретико-модельные характеристики счётных теорий и построил классификационную теорию на базе этих характеристик, а также универсальной синтаксической конструкции. В рамках этой теории решил известную проблему Лахлана о существовании стабильной теории с конечным, но большим единицы числом попарно неизоморфных счётных моделей. Развил общую теорию полигонометрий и тригонометрий групп, наследующую и обобщающую классическую тригонометрию. Исследовал взаимосвязь алгебраических систем, элементарных теорий и их производных объектов: графов и гиперграфов моделей, упорядоченных структур, пседвоплоскостей, алгебр распределений бинарных формул и др. Изучил теоретико-модельные и топологические свойства классов теорий относительно действий естественных операторов замыкания.

В 2025—2026 годах исследовал алгебры бинарных формул для слабо циклически минимальных теорий и псевдо-стабильные формулы^[11]. Также доказал новые теоремы, описывающие алгебры распределений бинарных формул для теорий произведений Кронекера и модулярных произведений правильных многоугольников^[12].