Сперанский Станислав Олегович
- Старший научный сотрудник: Факультет математики
- Начал работать в НИУ ВШЭ в 2026 году.
- Научно-педагогический стаж: 10 лет.
Oбразование и учёные степени
Конференции
- 2026
Однодневный семинар по математической логике (на ФКН НИУ ВШЭ) (Москва). Доклад: О логике Дошена N и её важнейших расширениях
- 2025
V Конференция математических центров России (Красноярск). Доклад: О префиксных фрагментах первопорядковых логик вероятности
Однодневный семинар по математической логике (на ФКН НИУ ВШЭ) (Москва). Доклад: О сложности теории слабых вероятностных пространств
Logic Matters 2025 (Москва). Доклад: О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе
- 2024
Logic at the Interface: Modal Logic and AI (Montpellier). Доклад: Negation as a modality in a quantified setting
IV Конференция математических центров России (Санкт-Петербург). Доклад: О нижних сложностных оценках в кванторной вероятностной логике
- 2023
Logic Matters 2023 (Москва). Доклад: Weak arithmetical structures from the viewpoint of monadic second-order logic
Discrete and Continuous Signals: Analysis, Information and Applications (Санкт-Петербург). Доклад: On the decision problem for quantified probability logic
Formal Philosophy 2023 (Москва). Доклад: A Carnapian framework for reasoning about arbitrary natural numbers
- 2022
Logic Matters 2022 (Москва). Доклад: Sharpening complexity results in quantified probability logic
Computing in Topological Structures: Foundations and Implementations (Сочи). Доклад: Strengthening complexity results in quantified probability logic
Fourth Workshop on Digitalization and Computable Models (WDCM 2022) (Online). Доклад: Complexity for Kripke's theory of truth
Лобачевские чтения 2022 (Казань). Доклад: Дистрибутивные решётки в алгебре и логике
- 2021
SIMC Welcomes Postdocs 2020 (Москва). Доклад: A computational perspective on reasoning about probability spaces
St. Petersburg Days of Logic and Computability V (Online). Доклад: A constructive interpretation of independence quantifiers
Опыт работы
Математический институт им. В.А. Стеклова РАН (Отдел математической логики):
02.2023 – наст. время — старший научный сотрудник
02.2021 – 01.2023 — научный сотрудник
Санкт-Петербургский государственный университет (Факультет математики и компьютерных наук):
02.2021 – 06.2021 — доцент (по совместительству)
09.2016 – 01.2021 — доцент
Институт математики им. С.Л. Соболева СО РАН (Лаборатория логических систем):
01.2014 – 08.2016 — научный сотрудник
07.2013 – 12.2013 — младший научный сотрудник
Бристольский университет (Институт перспективных исследований):
07.2017 – 08.2017 — стипендия им. Бенджамина Микера для посещающих профессоров
Мюнхенский университет им. Людвига и Максимилиана (Мюнхенский центр математической философии):
11.2014 – 10.2015 — стипендия Фонда им. Александра фон Гумбольдта
«Современная математика»: авторитетная летняя школа впервые прошла на площадке Вышки
В конце июля на базе Кочубей-центра НИУ ВШЭ в Царском Селе под Санкт-Петербургом состоялась XXV летняя школа «Современная математика» имени Виталия Арнольда. Также в числе организаторов ЛШСМ — отделение математики Российской академии наук, Московский государственный университет, Математический институт имени В.А. Стеклова, Московский центр непрерывного математического образования. По традиции участниками школы стали старшеклассники и студенты 1–2-х курсов вузов.