Have you spotted a typo? Highlight it, click Ctrl+Enter and send us a message. Thank you for your help! To be used only for spelling or punctuation mistakes.
Candidate of Sciences* (PhD) Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences
2010
Master's in Mathematics Novosibirsk State University
* Candidate of Sciences According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Logic Matters 2025 (Москва). Presentation: О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе
2024
Logic at the Interface: Modal Logic and AI (Montpellier). Presentation: Negation as a modality in a quantified setting
2023
Logic Matters 2023 (Москва). Presentation: Weak arithmetical structures from the viewpoint of monadic second-order logic
Discrete and Continuous Signals: Analysis, Information and Applications (Санкт-Петербург). Presentation: On the decision problem for quantified probability logic
Formal Philosophy 2023 (Москва). Presentation: A Carnapian framework for reasoning about arbitrary natural numbers
2022
Logic Matters 2022 (Москва). Presentation: Sharpening complexity results in quantified probability logic
Computing in Topological Structures: Foundations and Implementations (Сочи). Presentation: Strengthening complexity results in quantified probability logic
Fourth Workshop on Digitalization and Computable Models (WDCM 2022) (Online). Presentation: Complexity for Kripke's theory of truth
2021
SIMC Welcomes Postdocs 2020 (Москва). Presentation: A computational perspective on reasoning about probability spaces
St. Petersburg Days of Logic and Computability V (Online). Presentation: A constructive interpretation of independence quantifiers
Employment history
Steklov Mathematical Institute of RAS (Department of Mathematical Logic):
St. Petersburg State University (Department of Mathematics and Computer Science):
02.2021 – 06.2021 — Associate Professor (part-time)
09.2016 – 01.2021 — Associate Professor
Sobolev Institute of Mathematics of SB RAS (Laboratory of Logical Systems):