Тел.: +7 (495) 772-95-90 * 12332
125319, Москва, Кочновский проезд, д. 3 (недалеко от станции метро "Аэропорт").
Декан — Аржанцев Иван Владимирович
Первый заместитель декана факультета — Вознесенская Тамара Васильевна
Заместитель декана по научной работе и международным связям — Объедков Сергей Александрович
Заместитель декана по учебно-методической работе — Самоненко Илья Юрьевич
Заместитель декана по развитию и административно-финансовой работе — Плисецкая Ирина Александровна
Факультет готовит разработчиков и исследователей. Программа обучения сформирована с учётом опыта ведущих американских и европейских университетов, таких как Stanford University (США) и EPFL (Швейцария), а также Школы анализа данных — одной из самых сильных магистратур в области computer science в России. Широкий список курсов по выбору и значительная доля программы, выделенная под них, позволит каждому студенту сформировать свою собственную образовательную траекторию. В основе обучения — практика и проектная работа.
Bienvenu M., Kikot S., Kontchakov R. et al.
Journal of the ACM. 2018. Vol. 65. No. 5. P. 28:1-28:51.
Doikov Nikita, Richtarik P.
Proceedings of Machine Learning Research. 2018. No. 80. P. 1290-1298.
Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 2018. P. 1-2.
Naumov A., Spokoiny V., Ulyanov V. V.
Probability Theory and Related Fields. 2019. P. 1-42.
Shapoval A., Le Mouël J., Shnirman M. et al.
Astronomy and Astrophysics. 2018. Vol. 618. P. A183-1-A183-13.
14 июня на факультете состоялась однодневная конференция «Complexity of Computation, Communication, Descriptions and Proofs», организованная международной лабораторией теоретической информатики. Конференция прошла как смежное мероприятие с крупной международной конференцией «Computer Science in Russia».
На конференции были сделаны несколько обзорных докладов. В круг обсуждаемых тем вошли теория кодирования, сложность доказательств, коммуникационная сложность, сложность разрешающих деревьев, теория алгоритмов. Доклады были ориентированы на участников, обладающих лишь базовыми знаниями в области теоретической информатики.
В рамках конференции о результатах своих исследований рассказали ведущие зарубежные и российские учёные:
Amnon Ta-Shma (Tel-Aviv University), доклад: “Explicit, almost optimal, eps-balanced codes” о построении нового вида кодов с параметрами, близкими к оптимальным.
Bruno Loff (University of Porto), доклад: “Communication vs query complexity, new results” о соотношении между коммуникационной сложностью и запросной сложностью на примере задачи о вычислении композиции функций.
Stephen Fenner (The University of South Carolina), “Geometric approaches to derandomizing parallel matching and matroid algorithms” о последних результатах в области дерандомизации параллельных алгоритмов на графах и матроидах.
Дмитрий Соколов (ПОМИ РАН), доклад: “Monotone interpolation in proof complexity” об интерполяционном подходе для доказательства нижних оценок в пропозициональных системах доказательств.
Григорий Ярославцев (Indiana University, Bloomington), доклад: “Computational and communication complexity in massively parallel computing” о связи вычислительной и информационной сложности с недавно открытой моделью для массивных параллельных вычислений.
С более подробными аннотациями можно ознакомиться на странице конференции.
Также лабораторией было организовано два мини-курса: «Asymmetric Communication Complexity», «The matching problem: Approaches, applications, and algorithms». Их прочитали Bruno Loff и Stephen Fenner.
Видеозаписи мини курсов доступны на канале Youtube и в Вконтакте.