St. Petersburg, 199178, Russia, The 14th line of the Vasilievsky Island house 29 B
(812) 363-68-71, (812) 363-68-72
ru en
Stanislav O. Speranski
Stanislav O. Speranski
Associate Professor
Contacts:

29B Line 14th (Vasilyevsky Island), 199178 Saint Petersburg, Russia

katze.tail@gmail.com

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

Reception hours:

By appointment


Education

04.2013 — Ph.D. (C.Sc.) in Mathematics and Physics
Institution: Sobolev Institute of Mathematics
Thesis title: Logic of Probability and Probability Logic
Advisors: S.P. Odintsov and E.E. Vityaev

06.2010 — M.Sc. in Mathematics
Institution: Novosibirsk State University

06.2008 — B.Sc. in Mathematics
Institution: Novosibirsk State University


Scientific interests

My work addresses topics in:

  • logic and computability theory;
  • the foundations and philosophy of mathematics (broadly construed to include statistics).

Selected publications

  1. 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.
  2. S.O. Speranski (2017). Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105(2), 407–429.
  3. S.O. Speranski (2017). Quantifying over events in probability logic: an introduction. Mathematical Structures in Computer Science 27(8), 1581–1600.
  4. S.O. Speranski (2015). Some new results in monadic second-order arithmetic. Computability 4(2), 159–174.
  5. S.P. Odintsov and S.O. Speranski (2013). Computability issues for adaptive logics in multi-consequence standard format. Studia Logica 101(6), 1237–1262.

Additional Information

See my curriculum vitae (in English).


Teaching

Course name
Year
Semester
Role
Year
2017–2018
Semester
I
Role
Lecturer, seminarian
Course name
Year
2017–2018
Semester
III, IV
Role
Lecturer
Course name
Year
2017–2018
Semester
II
Role
Lecturer, seminarian
Course name
Year
2017–2018
Semester
V
Role
Lecturer, seminarian