Годичная программа фундаментальной компьютерной науки в Самарканде. Математика, алгоритмы, программирование, операционные системы, архитектура, компиляторы — для будущих инженеров и исследователей.
Глубина против быстрых ответов. Принципы против фреймворков.
Семь дисциплин за двенадцать месяцев, выстроенных в одну линию: от логики и доказательств — к машине, операционной системе и языку, на котором вы пишете. Программа готовит к двум траекториям — индустрии и науке — и завершается не экзаменом, а собственным проектом.
Хороший инженер — это не тот, кто знает ответ, а тот, кто умеет искать его.
Инженеры из индустрии и исследователи. Системы, инфраструктура, математика. Не карьерные лекторы.
Группы по девять человек. Код-ревью на каждый сданный проект. Письменный разбор решений — не галочка.
Каждую неделю — листок задач на доказательство и устная сдача один на один. Математика здесь не слушается, а делается.
Еженедельные семинары, разбор статей, совместные проекты. Центр задуман как среда, которая остаётся с вами после выпуска.
Корректность доказывается, оценка доказывается, нижние оценки — тоже. Раз в две недели — задача с дедлайном, дважды в семестр — контест. Ниже — первый семестр курса «Алгоритмы и структуры данных».
Каждая дисциплина заканчивается артефактом, а не сертификатом: кодом, доказательством или текстом. К концу года у вас будет репозиторий — и, возможно, первый научный результат.
Собственное B+ дерево
Структура, на которой стоят все реляционные базы данных: вставка, удаление, диапазонные запросы, тесты на миллионах ключей.
Собственный shell и аллокатор
Командный интерпретатор с пайпами и job control — и аллокатор памяти, который вы сравните с malloc по скорости и фрагментации.
Многопоточный сервер на сокетах
Финальная лаба курса ОС: дескрипторы, epoll, потоки, нагрузочное тестирование. Гонки и дедлоки здесь возникают сами — и вы учитесь их находить.
Собственный компилятор
Небольшой язык: лексер, парсер, проверка типов, генерация кода. Финальный шаг — доказательство корректности ключевого фрагмента в Rocq.
Доклад по классической статье
Тьюринг о вычислимости, Шеннон о информации, Кук о NP-полноте. Вы восстанавливаете чужую мысль с нуля и защищаете её перед залом — это и есть научное ремесло.
Работа над открытой задачей
Задача без известного ответа — под руководством публикующегося математика: вычислительный эксперимент, гипотеза, доказательство, текст в формате статьи.
Мы ищем не тех, кто уже всё знает, — мы ищем тех, кому интересно понимать. Напишите нам, и мы расскажем, как поступить в первый поток.