| Course name | Teachers | Next lecture | Language |
|---|---|---|---|
| Introduction to Coq | А. А. Трунов | The course is completed | Russian |
| Data structures based on pointers | Е. А. Арсеньева | The course is completed | Russian |
| Extended Formulations | К. Пашкович | The course is completed | Russian |
| Introduction to model theory | Д. Д. Рогозин | The course is completed | Russian |
| Fine-grained complexity | А. С. Куликов | The course is completed | Russian |
| Algorithmic game theory | М. Н. Вялый | The course is completed | Russian |
| Theory of Distributed Computing | Р. Г. Липовский | The course is completed | Russian |
| Seminar on Computer Science | S. Kutten | The course is completed | Russian |
| State of the GAN | С. И. Николенко | The course is completed | Russian |
| Number-theoretic algorithms and cryptography | А. И. Храбров | The course is completed | Russian |
