Sobolev Institute of Mathematics, Laboratory of Computability Theory and Applied Logic
4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia
Research Fellow
November 2014
Ph.D. in Mathematical Logic, Algebra and Number Theory; Sobolev Institute of Mathematics,
thesis: Levels of autostability for Boolean algebras [pdf in Russian],
thesis supervisor: Sergey Goncharov.
June 2012
M.Sc. in Applied Mathematics and Informatics, Novosibirsk State University
June 2010
B.Sc. in Mathematics, Novosibirsk State University

My profile on

My research deals mainly with the following topics of computable model theory:

  • autostability relative to strong constructivizations (decidable categoricity) for decidable structures,
  • effective categoricity for Boolean algebras,
  • computability-theoretic properties of Boolean algebras with distinguished endomorphisms.