• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Тел.: +7 (495) 772-95-90 * 12332

computerscience@hse.ru

125319, Москва, Кочновский проезд, д. 3 (недалеко от станции метро "Аэропорт"). 

 

Руководство

Декан — Аржанцев Иван Владимирович

 

Первый заместитель декана факультета — Вознесенская Тамара Васильевна

 

Заместитель декана по научной работе и международным связям — Объедков Сергей Александрович

 

Заместитель декана по административно-финансовой работе — Плисецкая Ирина Александровна

Мероприятия
Образовательные программы
Бакалаврская программа

Прикладная математика и информатика

4 года
Очная форма обучения
100/80/15
100 бюджетных мест
80 платных мест
15 платных мест для иностранцев
RUS
Обучение ведётся на русском языке
Бакалаврская программа

Программа двух дипломов НИУ ВШЭ и Лондонского университета "Прикладной анализ данных"

4 года
Очная форма обучения
50/10
50 платных мест
10 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Бакалаврская программа

Программная инженерия

4 года
Очная форма обучения
80/80/15
80 бюджетных мест
80 платных мест
15 платных мест для иностранцев
RUS
Обучение ведётся на русском языке
Магистерская программа

Анализ данных в биологии и медицине

2 года
Очная форма обучения
15/5/3
15 бюджетных мест
5 платных мест
3 платных места для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Математические методы оптимизации и стохастики

2 года
Очная форма обучения
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Науки о данных

2 года
Очная форма обучения
55/15/6
55 бюджетных мест
15 платных мест
6 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Системная и программная инженерия

2 года
Очная форма обучения
20/10/12
20 бюджетных мест
10 платных мест
12 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Системное программирование

2 года
Очная форма обучения
20/10/5
20 бюджетных мест
10 платных мест
5 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Статистическая теория обучения

2 года
Очная форма обучения
20/5/5
20 бюджетных мест
5 платных мест
5 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Финансовые технологии и анализ данных

2 года
Очная форма обучения
30/3
30 платных мест
3 платных места для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Статья
Colourings of Uniform Hypergraphs with Large Girth and Applications

Shabanov D. S., Kupavskii A.

Combinatorics Probability and Computing. 2017.

Глава в книге
A Fast Scaling Algorithm for the Weighted Triangle-Free 2-Matching Problem

Artamonov S., Babenko M. A.

In bk.: Combinatorial Algorithms. 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers. Vol. 9538. Switzerland: Springer International Publishing, 2016. P. 25-37.

Глава в книге
Any-Angle Pathfinding for Multiple Agents Based on SIPP Algorithm

Yakovlev K., Andreychuk A.

In bk.: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017). Palo Alto: AAAI Press, 2017. P. 586-594.

Статья
Cohomology of toric origami manifolds with acyclic proper faces

Ayzenberg A., Masuda M., Park S. et al.

Journal of Symplectic Geometry. 2017. Vol. 15. No. 3. P. 645-685.

Мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris»

На факультете компьютерных наук с 21 ноября по 1 декабря 2017 года пройдет мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris».

Адрес: Кочновский пр-д, д. 3.
Расписание занятий:

  • 21 ноября, вторник, 16:40–19:30, а. 219
  • 23 ноября, четверг, 16:40–19:30, а. 219
  • 27 ноября, понедельник, 16:40–19:30, а. 219
  • 29 ноября, среда, 16:40–19:30, а. 219
  • 1 декабря, пятница, 16:40–19:30, а. 300

Информация о курсе, где будут публиковаться слайды лекций и упражнения:
https://github.com/bravit/idris-cs-hse

Для участия необходимо пройти регистрацию по ссылке.

Язык программирования Idris — это современный язык общего назначения, его первая версия была выпущена 1 апреля 2017 года. Он поддерживает функциональный стиль программирования и является наследником языка программирования Haskell, но в отличие от последнего реализует строгие вычисления и имеет более богатую систему типизации, а именно зависимые типы. Основная цель языка Idris состоит в том, чтобы применять возможности зависимых типов по более или менее точному специфицированию намерений разработчика программного обеспечения в практических задачах. Курс будет посвящён различным аспектам программирования на языке Idris, таким как функции на типах и зависимые типы, интерфейсы, выражение отношений между данными, представления, тотальность и верификация бесконечно работающих программ, управление состоянием. Также будут рассмотрены существенные для разработки корректного программного обеспечения элементы функционального программирования и теории типов.

Примерные темы лекций

  • Введение в Idris, элементы функционального программирования. 
  • Теоретические основы верификации ПО средствами зависимых типов. 
  • Типы данных и ввод-вывод. 
  • Типы как сущности первого класса, функции на типах. 
  • Интерфейсы, модули и пространства имён.
  • Выражение отношений на данных. 
  • Idris как система доказательства теорем. 
  • Тотальность и обработка бесконечных потоков данных. 
  • Типобезопасное управление состоянием. 
  • Конкурентное программирование.

Практическая часть

Слушателям будет предложено по ходу курса самостоятельно выполнять наборы упражнений (в закрытых репозиториях на github.com), а в конце курса выполнить финальный проект по разработке ПО на языке Idris с использованием зависимых типов.

Предварительные требования

Курс ориентирован на студентов второго-третьего годов бакалавриата и заинтересованных студентов магистратуры по компьютерным направлениям. От слушателей требуется уверенное владение любым императивным (объектно-ориентированным) языком программирования, желательно также хотя бы поверхностное знакомство с каким-либо функциональным языком программирования и базовыми понятиями математической логики.

Литература

  1. E. Brady. Type-driven Development with Idris. Manning Publishing, 2017. 
  2. Документация по языку Idris. https://www.idris-lang.org/documentation/

О лекторе

Виталий Николаевич Брагилевский работает в Институте математики, механики и компьютерных наук Южного федерального университета (Ростов-на-Дону), где на протяжении десяти лет читает курсы по функциональному программированию, он ведёт активную деятельность по продвижению функционального программирования (языки Haskell и Idris) и теории языков программирования, а также является членом международного комитета по стандартизации языка программирования Haskell (Haskell 2020 Language Committee). В. Н. Брагилевский редактировал переводы на русский язык таких книг как «Изучай Haskell во имя добра» (М. Липовача) и «Чисто функциональные структуры данных» (К. Окасаки), а также участвовал в переводах книг «Жемчужины проектирования функциональных алгоритмов» (Р. Бёрд), «Параллельное и конкурентное программирование на языке Haskell» (С. Марлоу), «Введение в теорию языков программирования» (Ж. Довек и Ж.-Ж. Леви), он также сотрудничает с издательством Manning Publishing в качестве внешнего рецензента для книг по соответствующей тематике.