Teaching

Higher School of Economics, Moscow
Faculty of Computer Science (currently in Russian)
Lomonosov Moscow State University,
Department of Mathematical Logic and Theory of Algorithms
Math in Moscow