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
Contacts:

14th Line 29B, Vasilyevsky Island, Saint Petersburg, 199178, 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
Place of the defense: Sobolev Institute of Mathematics
Thesis title: Logic of Probability and Probability Logic
Thesis advisors: S.P. Odintsov and E.E. Vityaev

06.2010 — M.Sc. in Mathematics
Place of the defense: Novosibirsk State University

06.2008 — B.Sc. in Mathematics
Place of the defense: 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.O. Speranski (2017). Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105(2), 407–429.
  2. S.O. Speranski (2015). Some new results in monadic second-order arithmetic. Computability 4(2), 159–174.
  3. S.P. Odintsov and S.O. Speranski (2013). Computability issues for adaptive logics in multi-consequence standard format. Studia Logica 101(6), 1237–1262.
  4. S.O. Speranski (2013). Complexity for probability logic with quantifiers over propositions. Journal of Logic and Computation 23(5), 1035–1055.

Additional Information

See my CV (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