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

Адрес: 109028, г. Москва, Покровский бульвар, д. 11

Телефон: +7 (495) 531-00-00 *27254

Email: computerscience@hse.ru

 

Руководство
Первый заместитель декана Вознесенская Тамара Васильевна
Заместитель декана по научной работе и международному сотрудничеству Объедков Сергей Александрович
Заместитель декана по учебно-методической работе Самоненко Илья Юрьевич
Заместитель декана по развитию и административно-финансовой работе Плисецкая Ирина Александровна
Образовательные программы
Бакалаврская программа

Компьютерные науки и анализ данных

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

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

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

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

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

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

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

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

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

Магистр по наукам о данных

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

Математика машинного обучения

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

Машинное обучение и высоконагруженные системы

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

Науки о данных (Data Science)

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

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

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

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

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

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

2 года
Очная форма обучения
50/1
50 платных мест
1 платное место для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Глава в книге
Black-Box Optimization with Local Generative Surrogates

Belavin V., Ustyuzhanin A., Широбоков С. К. et al.

In bk.: Advances in Neural Information Processing Systems 33 (NeurIPS 2020). Curran Associates, Inc., 2020. P. 14650-14662.

Статья
The multiplicative-additive Lambek calculus with subexponential and bracket modalities

Kanovich M., Kuznetsov S., Scedrov A.

Journal of Logic, Language and Information. 2021. Vol. 30. No. 1. P. 31-88.

Презентация базовой кафедры ИСП РАН факультета компьютерных наук

Мероприятие завершено

22 сентяюря в 18:00 на факультете компьютерных наук пройдет презентация Базовой кафедры Института системного программирования Роcсийской академии наук (ИСП РАН).

Программа мероприятия:

1) Открытие и презентация базовой кафедры ИСП РАН:
2) Доклад: "Верификация и разработка ответственного программного обеспечения. Нетипичная практика"
Александр Константинович Петренко, доктор физико-математических наук, заведующий отделом Технологий программирования ИСП РАН

В докладе рассматриваются проблемы обеспечения корректности и надежности ответственного программного обеспечения, от правильности и надежности которого зависят критические важные процессы, где отказы и сбои могут привести к большим потерям и даже человеческим жертвам.

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



Институт системного программирования (ИСП) Роcсийской академии наук (РАН) был основан 25-го января 1994-го года на базе бывшего Института проблем кибернетики РАН. Основные активностями института являются фундаментальные исследования, прикладные исследования в интересах индустрии и образование.

Основными направлениями фундаментальных научных исследований и прикладных разработок ИСП РАН являются:

  • анализ бинарного кода, обратная инженерия.
  • компиляторные технологии.
  • базы данных и базы знаний.
  • параллельные и распределенные вычисления.
  • тестирование, верификация и валидация программных продуктов.
  • дискретная математика и численный анализ.
В НИУ ВШЭ работает пропускная система, заказать пропуск можно по ссылке 

Место проведения: Кочновский проезд, дом 3, лекционный зал Евклид (6 этаж)