Санкт-Петербург, 199178, Россия, 14-я линия Васильевского острова дом 29 Б
(812) 363-68-71, (812) 363-68-72
ru en
Сперанский Станислав Олегович
Сперанский Станислав Олегович
Доцент
Контакты:

14-ая линия Васильевского острова, дом 29B, Санкт-Петербург, 199178, Россия

katze.tail@gmail.com

http://users.math-cs.spbu.ru/~speranski/

Приёмные часы:

По предварительной договорённости


Образование

04.2013 — к.ф.-м.н. (по специальности «математическая логика, алгебра и теория чисел»)
Место защиты: Институт математики им. С.Л. Соболева СО РАН
Название диссертации: Логика вероятности и вероятностная логика
Научные руководители: С.П. Одинцов и Е.Е. Витяев

06.2010 — магистр математики (по направлению «прикладная математика и информатика»)
Место защиты: Новосибирский государственный университет

06.2008 — бакалавр математики
Место защиты: Новосибирский государственный университет


Научные интересы

Мои основные работы относятся к следующим областям:

  • логика и теория вычислимости;
  • основания и философия математики (в том числе статистики).

Избранные публикации

  1. L. Horsten and S.O. Speranski (2018). Reasoning about arbitrary natural numbers from a Carnapian perspective. Journal of Philosophical Logic. Accepted. 20 p.
  2. S.P. Odintsov, S.O. Speranski and I.Yu. Shevchenko (2018). Hintikka's independence-friendly logic meets Nelson's realizability. Studia Logica 106(3), 637–670.
  3. S.O. Speranski (2017). Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105(2), 407–429.
  4. S.O. Speranski (2017). Quantifying over events in probability logic: an introduction. Mathematical Structures in Computer Science 27(8), 1581–1600.
  5. S.O. Speranski (2015). Some new results in monadic second-order arithmetic. Computability 4(2), 159–174.

Дополнительная информация

См. моё резюме (на английском).


Читаемые курсы

Название курса
Год
Семестр
Роль
Название курса
Год
2018–2019
Семестр
II
Роль
Лектор, семинарист
Название курса
Год
2018–2019
Семестр
V
Роль
Лектор, семинарист
Год
2018–2019
Семестр
I
Роль
Лектор, семинарист
Название курса
Год
2017–2018
Семестр
II
Роль
Лектор, семинарист
Название курса
Год
2017–2018
Семестр
V
Роль
Лектор, семинарист
Год
2017–2018
Семестр
I
Роль
Лектор, семинарист
Год
2017–2018
Семестр
III, IV
Роль
Лектор