Teaching

Courses:	Algebra Linear Algebra Discrete Mathematics Differential Geometry Analytical Geometry Number Theory Error-Correcting Codes Information Theory Computational Complexity Automata Theory Linguistic Foundations of Informatics Mathematical Logic and Logical Programming Philosophy of Mathematics and Computer Science
Special Courses:	Quantum Computing Molecular Computing Finite Semigroups and Formal Languages (Lecture Notes in Russian) Synchronizing Automata (Lectures in Russian, Slides and Lecture Notes in English) Circuit Complexity Kolmogorov Complexity Projective Geometry and Foundations of Geometry
Special Seminars:	Theoretical Computer Science