Most of the files are in Russian.

• Propositional Proof Complexity:
  • Fall 2010, PDMI CS Club: slides and video.
• Computational Complexity:
  • Fall 2008, PDMI CS Club: slides and video.
  • Fall 2006, SPbSU, with later addendum from my course in SPbAU (2015): lecture notes.
• Foundations of Cryptography:
  • Spring 2008, PDMI CS Club: slides and video.
  • Spring 2007, SPbSU lecture notes (see also an older course, with some quantum computing).
• Algorithms I
  • 2005/6, SPbSU, CS students lecture notes.
  • 2003/4, SPbSU, math students lecture notes.
• Advanced Algorithms
  • 2003/4, SPbSU: lecture notes.
  • Fall 2001, SPbSU: lecture notes.
• SAT (an ongoing course in Ariel University, in English).