29 Line 14th (Vasilyevsky Island), 199178 Saint Petersburg, Russia
By appointment
12.2008 — Ph.D. (C.Sc.) in Mathematics and Physics («Mathematical Logic, Algebra and Number Theory »)
Institution: St. Petersburg State University
Thesis title: Average case complexity of randomized computations with bounded error
Advisors: E.A. Hirsch
06.2009 — B.Sc. in Mathematics and computer science
Institution: St. Petersburg State University
2018 — until now SPb State University, Associate Professor
2009 – until now St. Petersburg Department of Steklov Mathematical nstitute of Russian Academy of Sciences, Lead Researcher
2008 – 2019 SPb Academic University SB RAS, Associate Professor
My work addresses topics in computational complexity and proof complexity