Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Курсы
Осень 2021
Весна 2022
Computer Science семинар
(
А. И. Калегин
,
Н. В. Мальковский
)
Введение в математическую статистику
(
М. С. Николаев
)
Дизайн аукционов и игр
(
Н. В. Гравин
)
Семантические аспекты интуиционистской логики
(
Д. Д. Рогозин
)
Теория сложности вычислений
(
С. И. Грязнов
,
Д. М. Ицыксон
)
Computer Science семинар
(
Д. Е. Зворыгин
,
И. Макаров
)
Дополнительные главы алгоритмов, часть 2
(
М. П. Иванов
,
П. Ю. Маврин
)
Осень 2020
Весна 2021
Computer Science семинар
(
А. В. Подкопаев
,
Я. Ю. Сафонова
,
К. С. Яковлев
)
Fine-grained Complexity
(
И. А. Михайлин
)
Алгоритмы: дополнительные главы
(
К. Макарычев
,
И. Разенштейн
,
А. Х. Шень
)
Архитектура программных систем
(
Б. Н. Габбасов
)
Вычисления с бесконечными данными
(
В. Л. Селиванов
)
Искусственный интеллект и беспилотные автомобили
(
А. С. Артамонов
)
Нейроморфные вычисления и нейросимуляции
(
М. О. Таланов
)
Обзорный курс по теоретической информатике
(
С. И. Грязнов
,
Д. М. Ицыксон
)
Обучение с подкреплением: от определений до AlphaZero и Dactyl
(
С. И. Николенко
)
Введение в формальную верификацию программ
(
А. А. Трунов
)
Рандомизированные алгоритмы
(
Р. А. ван Беверн
)
Фотограмметрия (трёхмерная реконструкция)
(
Н. В. Полярный
,
Б. П. Симиютин
)
Язык, вычисления и графы
(
Д. А. Усталов
)
Осень 2019
Весна 2020
Computer Science семинар
(
S. Kutten
)
Extended Formulations
(
К. Пашкович
)
State of the GAN: состязательные сети от азов до последних результатов
(
С. И. Николенко
)
Алгоритмическая теория игр
(
М. Н. Вялый
)
Введение в модальную логику
(
Д. Д. Рогозин
)
Введение в язык формальной верификации Coq
(
А. А. Трунов
)
Структуры данных, основанные на указателях
(
Е. А. Арсеньева
)
Теоретико-числовые алгоритмы и криптография
(
А. И. Храбров
)
Теория распределенных вычислений
(
Р. Г. Липовский
)
Тонкие оценки на время работы алгоритмов
(
А. С. Куликов
)
Computer Science семинар
(
В. Клепцын
,
И. Миронов
,
И. Разенштейн
,
А. Х. Шень
)
Вероятностные алгоритмы
(
И. А. Михайлин
)
Классическая теория кодирования и новые приложения
(
В. Скачек
)
Осень 2018
Весна 2019
From univariate polynomials to probabilistically checkable and error-tolerant proofs
(
P. Kaski
)
Introduction to Computational Social Choice
(
P. Faliszewski
)
Введение в проективную геометрию для компьютерного зрения
(
В. Л. Ерухимов
)
Вычислительная сложность задач поиска
(
Д. В. Мусатов
)
Избранные темы Computer Science
(
А. Х. Шень
)
Компьютерная графика
(
В. А. Галинский
)
Рассказы о стажировках в IT компаниях
(
И. А. Близнец
)
Рекомендательные системы: классические и нейросетевые подходы
(
А. В. Зимовнов
,
Е. Соколов
)
Computer Science семинар
(
Y. Dodis
,
A. Lubotzky
,
А. Крайнов
)
Анализ булевых функций
(
В. В. Подольский
)
Вывод типов от Хиндли — Милнера до GHC 8.8
(
В. Н. Брагилевский
)
Интерактивные доказательства
(
Д. В. Мусатов
)
Коды переменной длины: сихронизация, декомпозиция и другое
(
А. Рыжиков
)
Локализация мобильных роботов. Обзор основных SLAM алгоритмов
(
К. В. Кринкин
)
Случайные графы
(
А. М. Райгородский
)
Тестирующие и потоковые алгоритмы для слов, деревьев и графов
(
M. de Rougemont
)
Эффективные алгоритмы и коммуникационная сложность
(
И. А. Михайлин
)
Осень 2017
Весна 2018
Fine-grained Complexity
(
И. А. Михайлин
)
Kotlin: практика разработки современного языка программирования
(
А. Бреслав
)
Алгоритмические применения древесных декомпозиций
(
Ф. В. Фомин
)
Алгоритм Тарского
(
Ю. В. Матиясевич
)
Алгоритмы для задачи коммивояжёра
(
А. С. Куликов
)
Введение в теорию нейросетей и глубокое обучение
(
А. А. Ивахненко
)
Вычислительная геометрия
(
К. В. Вяткина
)
Избранные главы схемной сложности
(
А. Головнёв
)
Искусственный интеллект и беспилотные автомобили
(
А. Слесарев
)
История исследования ДНК и белковых структур: от французской революции до современной биоинформатики
(
А. А. Шпильман
)
Ликбез: коды, исправляющие ошибки
(
А. Х. Шень
)
Машинное обучение и рекомендательные системы
(
Е. Соколов
)
Метрическая геометрия и ее приложения в Computer Science
(
К. Макарычев
,
Ю. Макарычев
)
Низкоуровневый взгляд на динамические библиотеки и модели кода
(
И. Жирков
)
Онлайн-алгоритмы для управления буфером: конкурентный анализ
(
С. И. Николенко
)
Проблемы населенности типов и их разрешимость
(
Д. Н. Москвин
)
Сложность бесконечных слов
(
С. Пузынина
)
Сложность пропозициональных доказательств
(
Д. М. Ицыксон
)
Формальные грамматики и вычислительная сложность синтаксического анализа
(
А. Охотин
)
Эффективное использование С++
(
В. М. Лесин
)
Computer Science семинар
(
А. С. Куликов
)
Компилятор GHC языка Haskell: теория языков программирования в работе
(
В. Н. Брагилевский
)
Параллельные вычисления с использованием стандартов MPI, OpenMP, OpenACC
(
А. А. Ивахненко
)
Протоколы справедливого дележа
(
Д. В. Мусатов
)
Спектральная теория графов
(
Д. Д. Черкашин
)
Эффективные параллельные алгоритмы: методика BSP
(
А. В. Тискин
)
Осень 2016
Весна 2017
Computer Science семинар
(
А. С. Куликов
)
Визуализация данных
(
А. Б. Дайняк
)
Информационный поиск
(
И. Е. Марков
,
А. С. Ярыгина
)
Обзорный курс по теоретической информатике
(
Д. М. Ицыксон
,
Д. О. Соколов
)
Поиск кратчайших путей в дорожных сетях: от теории к реализации
(
В. Осипов
)
Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность
(
М. Н. Вялый
)
Семинар по сублинейным алгоритмам
(
Н. А. Карпов
)
Algorithms for High-Dimensional Data
(
И. Разенштейн
)
Graph Algorithms and Continuous Optimization
(
A. Mądry
)
Longest Paths in Graphs: Parameterized Algorithms
(
S. Saurabh
)
Modern algorithms for parallel, streaming and query-based data processing
(
Г. Ярославцев
)
Streaming Algorithms
(
М. Капралов
)
Вычисления на GPU. Основные подходы, архитектура, оптимизации
(
А. А. Ивахненко
)
Избранные главы теории потоков
(
М. А. Бабенко
)
Коммуникационная сложность
(
Н. К. Верещагин
)
Машинный перевод
(
Д. Талбот
)
Методы и системы обработки больших данных
(
И. В. Пузыревский
)
Программирование с зависимыми типами на языке Idris
(
В. Н. Брагилевский
)
Сложность булевых функций
(
А. А. Кноп
)
Экспандеры и их применения
(
А. Е. Ромащенко
)
Осень 2015
Весна 2016
Computer Science семинар
(
А. С. Куликов
)
Алгоритмы быстрого вычисления разреженного преобразования Фурье (Sparse FFT)
(
М. Капралов
)
Квантовая криптография, хеширование, цифровая подпись
(
Ф. М. Аблаев
)
Мини-курсы профессоров Университета Лугано
(
F. Pedone
,
Н. Шарыгина
)
Параметризованные алгоритмы
(
И. А. Близнец
)
Computer Science семинар
(
А. С. Куликов
)
Алгоритм Hub Labeling для поиска кратчайших путей в графе
(
А. Гольдберг
)
Воспроизводимая наука о данных. Инструменты воспроизводимых исследований
(
Н. А. Казеев
,
А. Е. Устюжанин
)
От "компактных представлений" к алгоритмам для больших данных
(
И. Разенштейн
)
Теоретико-сложностные основы криптографии
(
Д. М. Ицыксон
)
Эффективные алгоритмы и коммуникационная сложность
(
И. А. Михайлин
)
Осень 2014
Весна 2015
Алгоритмы обработки потоковых данных
(
В. В. Опарин
)
Дополнительные главы алгоритмов, часть 1
(
С. В. Копелиович
,
П. Ю. Маврин
)
Матроиды и параметризованные алгоритмы
(
S. Saurabh
)
Основы вычислимости и теории сложности
(
Д. М. Ицыксон
,
Д. О. Соколов
)
Сложность булевых функций
(
В. В. Подольский
)
Введение в теорию информации
(
А. Е. Ромащенко
)
Вероятностные методы в вычислениях
(
Д. М. Ицыксон
)
Комбинаторика слов и ее приложения
(
А. М. Шур
)
Криптографические протоколы
(
А. П. Давыдов
,
С. И. Николенко
)
Лемма Ловаса и другие вероятностные доказательства существования
(
А. Х. Шень
)
Принципы и интерпретация динамических языков программирования
(
Р. А. Попов
)
Осень 2013
Весна 2014
Автоматическое доказательство теорем
(
J. Harrison
)
Алгоритмы для NP-трудных задач
(
А. С. Куликов
)
Введение в архитектуру параллельных вычислений CUDA. Стандарт OpenACC
(
А. А. Ивахненко
)
Обзорный курс по теоретической информатике
(
Д. М. Ицыксон
)
Основы дискретной математики
(
Е. С. Краско
,
А. В. Пастор
)
Что можно делать с вещественными числами и нельзя с целыми
(
Ю. В. Матиясевич
)
Визуализация графов
(
А. Б. Дайняк
)
Вычислительная геометрия
(
К. В. Вяткина
)
Параллельное программирование
(
Е. Л. Калишенко
)
Про "баги" два в одном
(
К. С. Серебряный
)
Семинар по параметризованным алгоритмам
(
С. В. Копелиович
,
Е. С. Краско
,
А. С. Куликов
,
И. А. Михайлин
,
Ф. В. Фомин
)
Суффиксные деревья: новые идеи и открытые проблемы
(
Т. А. Стариковская
)
Осень 2012
Весна 2013
Computer Science семинар
(
А. С. Куликов
)
Алгоритмы во внешней памяти
(
М. А. Бабенко
)
Анализ изображений и видео, часть 1
(
Н. С. Васильева
)
Вероятностно проверяемые доказательства
(
Д. М. Ицыксон
)
Избранные темы Computer Science
(
А. Х. Шень
)
Основы вычислимости и теории сложности
(
Д. М. Ицыксон
,
Д. О. Соколов
)
Эффективные параллельные алгоритмы: методика BSP
(
А. В. Тискин
)
Computer Science семинар
(
А. А. Кноп
,
А. С. Куликов
,
И. А. Михайлин
,
А. В. Уланов
)
Алгоритмы в биоинформатике
(
Н. И. Вяххи
)
Сложность вычислений и основы криптографии
(
Д. М. Ицыксон
,
В. В. Опарин
)
Теория игр
(
И. В. Кацев
)
Осень 2011
Весна 2012
Computer Science семинар
(
B. Livshits
,
М. Капралов
,
И. Е. Куралёнок
,
А. Охотин
,
А. В. Смаль
)
Введение в комбинаторику слов
(
А. Э. Фрид
)
Вычислимость и логика
(
Д. М. Ицыксон
)
Компьютерная графика
(
В. А. Галинский
)
Модели веб-графов и их приложения
(
А. М. Райгородский
)
Сложность булевых функций
(
И. А. Близнец
,
А. А. Кноп
,
А. С. Куликов
,
И. А. Михайлин
)
Computer Science семинар
(
А. С. Куликов
)
Введение в метаматематику
(
А. Бовыкин
)
Верификация параллельных и распределенных программных систем
(
Ю. Г. Карпов
)
Вероятностные методы в вычислениях
(
Д. М. Ицыксон
)
Информационный поиск
(
Д. Расковалов
)
Локальное декодирование
(
С. Еханин
)
Сложность вычислений и основы криптографии
(
Э. А. Гирш
)
Теория кодирования
(
А. Е. Ромащенко
)
Осень 2010
Весна 2011
Computer Science семинар
(
А. С. Куликов
)
Program Analysis for Security
(
B. Livshits
)
Анализ поисковых запросов
(
П. Браславский
)
Онтология и представление знаний
(
Б. Ю. Конев
)
Проблема изоморфизма графов
(
И. Н. Пономаренко
)
Семантическая классификация изображений
(
А. Конушин
)
Синхронизируемые автоматы
(
М. В. Волков
)
Теория сложности доказательств
(
Э. А. Гирш
)
Функциональное программирование
(
Е. Р. Кирпичёв
)
Computer Science семинар
(
А. С. Куликов
)
Квантовые алгоритмы: возможности и ограничения
(
М. Н. Вялый
)
Компьютерное зрение и библиотека OpenCV
(
В. Л. Ерухимов
)
Линейное программирование
(
М. А. Бабенко
)
Параметризованные алгоритмы
(
Ф. В. Фомин
)
Системы типизации лямбда-исчисления
(
Д. Н. Москвин
)
Осень 2009
Весна 2010
Алгоритмы для NP-трудных задач
(
А. С. Куликов
)
Криптографические протоколы
(
С. И. Николенко
)
Математические основы Computer Science
(
Д. М. Ицыксон
)
Формальные языки и синтаксический анализ
(
А. Охотин
)
Distributed Information Retrieval
(
F. Crestani
)
From Object Replication to Database Replication
(
F. Pedone
)
Software Verification
(
Н. Шарыгина
)
Ubiquitous Computing - Vision, Technology, and Implications
(
M. Langheinrich
)
Алгоритмы на графах
(
А. Гольдберг
)
Введение в биоинформатику
(
М. Капущевский
)
Виртуализация и виртуальные машины
(
Н. Иготти
)
Десятая проблема Гильберта. Решение и применения в информатике
(
Ю. В. Матиясевич
)
Дополнительные главы теории паросочетаний
(
М. А. Бабенко
)
Оптимизация энергии в задачах компьютерного зрения и алгоритмы на графах
(
В. Лемпицкий
)
О современных методах автоматической формальной верификации аппаратного обеспечения
(
А. А. Кожевников
)
Теория динамических игр
(
Д. В. Мусатов
,
А. В. Савватеев
)
Тестирование на основе моделей
(
В. Кулямин
)
Осень 2008
Весна 2009
Алгоритмическая теория информации
(
А. Х. Шень
)
Алгоритм Тарского
(
Ю. В. Матиясевич
)
Вводный курс
(
Д. М. Ицыксон
)
Структурная теория сложности
(
Э. А. Гирш
)
Теория экономических механизмов
(
С. И. Николенко
)
Computer Science семинар
(
М. Э. Дворкин
,
Н. Иготти
,
А. С. Куликов
,
Ю. М. Лифшиц
)
Вычислительно трудные задачи и дерандомизация
(
Д. М. Ицыксон
)
Коммуникационная сложность
(
Н. К. Верещагин
)
Параллельное программирование
(
Р. Елизаров
)
Экспандеры и их применения
(
А. Е. Ромащенко
)
Осень 2007
Весна 2008
Введение в моделирование и верификацию аппаратных и программных систем
(
Б. Ю. Конев
)
Вводный курс
(
Д. М. Ицыксон
)
Эффективные алгоритмы
(
А. С. Куликов
)
Distributed Algorithms
(
F. Pedone
)
Networking
(
A. Carzaniga
)
Software Testing
(
M. Pezze
)
Software Verification
(
Н. Шарыгина
)
Web Research
(
Ю. М. Лифшиц
)
Криптографические хэш-функции
(
И. Миронов
)
Самообучающиеся системы
(
С. И. Николенко
)
Сложностная криптография
(
Э. А. Гирш
)
