Computer Science клуб — это открытые лекции и курсы. В клубе любой желающий может познакомиться с классическими результатами, современным положением дел и открытыми задачами в различных областях Computer Science. Вход на лекции свободный, регистрация не требуется, посещать курсы можно начать в любое время.
| Название курса | Преподаватели | Следующая лекция | Язык |
|---|---|---|---|
| Вывод типов от Хиндли — Милнера до GHC 8.8 | В. Н. Брагилевский | Курс завершён | Русский |
| Интерактивные доказательства | Д. В. Мусатов | Курс завершён | Русский |
| Случайные графы | А. М. Райгородский | Курс завершён | Русский |
| Коды переменной длины: сихронизация, декомпозиция и другое | А. Рыжиков | Курс завершён | Русский |
| Локализация мобильных роботов. Обзор основных SLAM алгоритмов. | К. В. Кринкин | Курс завершён | Русский |
| Анализ булевых функций | В. В. Подольский | Курс завершён | Русский |
| Эффективные алгоритмы и коммуникационная сложность | И. А. Михайлин | Курс завершён | Русский |
| Тестирующие и потоковые алгоритмы для слов, деревьев и графов | M. de Rougemont | Курс завершён | Английский |
| Computer Science семинар | Y. Dodis, A. Lubotzky, А. Крайнов | Курс завершён | Русский |
