Petersburg State University. He received his B.Sc. (2008) and M.Sc. (2010) from Novosibirsk State University. After completing his Ph.D. (2013), he accepted a research position at Sobolev Institute of Mathematics, one of the leading institutes of the Russian Academy of Sciences. Then he spent one year as a Humboldt Research Fellow in Logic at the Munich Center for Mathematical Philosophy, which is a part of the Ludwig-Maximilian University of Munich. In 2016, he accepted his current position in Saint Petersburg.