Sobolev Institute of Mathematics, Laboratory of Computability Theory and Applied Logic
4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia
Senior Researcher
bazhenov [at]
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 profiles: MathSciNet, Google Scholar, ResearchGate,

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

  • effective categoricity for computable structures,
  • autostability relative to strong constructivizations (decidable categoricity) for decidable structures,
  • computability-theoretic properties for signature enrichments of Boolean algebras.