Teaching
Higher School of Economics
, Moscow
Faculty of Computer Science (currently in Russian)
Discrete Mathematics (in Russian)
,
New!
Lomonosov Moscow State University
,
Department of Mathematical Logic and Theory of Algorithms
Complexity of Boolean Function, Fall 2013,
program and problems
Propositional Proof Complexity, Fall 2011
Boolean Circuit Complexity, Fall 2010
Analysis of Boolean Functions, Fall 2009
Communication Complexity, Fall 2007,
program (in Russian)
Proseminar on Mathematical Logic and Computer Science (in Russian)
, 2007- present time
Math in Moscow
Computability and Complexity course
, 2012-present time
Supervision of Independent Studies, Fall 2012, Fall 2013