help@sochisirius.ru
1-9 ноября 2021

Формальные методы дизайна и верификации программного обеспечения

Прием заявок для участия в конкурсном отборе открыт до 17 октября 2021 года
По вопросам участия в программе просим обращаться по адресу cdpo@talantiuspeh.ru

О программе

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

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

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

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

Участники и порядок отбора

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

Для освоения содержания дополнительной профессиональной программы слушатели должны владеть следующими знаниями и компетенциями:

  •  базовые знания в области математики и компьютерных наук на уровне первых двух курсов профильного бакалавриата;
  •  желательно знание и наличие опыта функционального программирования на языке Haskell или OCaml.

Форма организации отбора слушателей

Индивидуальный отбор.

Задания для проведения отбора слушателей:

Специальные задания для проведения отбора слушателей не предусмотрены. Отбор происходит на основании конкурса заявок, представленных кандидатами. Заявки должны включать:

  • резюме кандидата;
  • мотивационное письмо.

Критерии отбора слушателей:

  • соответствие образовательного бэкграунда и/или опыта работы кандидатов целям, задачам и уровню дополнительной профессиональной программы, на основании представленных резюме и академических справок. Преимущество получают кандидаты с более высоким средним баллом по профильным дисциплинам (компьютерных и физико-математических специальностей) и (при наличии) большим стажем работы по профильным специальностям. Данный критерий оценивается как максимум в 60 баллов из 100;
  • мотивация кандидатов на изучение дополнительной профессиональной программы, на основании представленных мотивационных писем. Преимущества получают кандидаты, которые продемонстрировали понимание целей и задач методов формального дизайна и верификации, в том числе в развитии собственной карьеры в области информационных технологий, а также знания о программе и об Университете «Сириус». Данный критерий оценивается как максимум в 40 баллов из 100.

Заявки оцениваются по 100-балльной системе (процентной шкале) на основании критериев каждым из членов приемной комиссии, после чего приемная комиссией выставляется согласованная оценка каждой заявки. 

Руководитель программы

Меркин
Леонид Альбертович

доктор математики (Делфтский Технический Университет, Нидерланды), профессор Университета «Сириус», руководитель направления «Финансовая математика и финансовые технологии»

Преподаватели

Преподаватели:

Меркин Леонид Альбертович, профессор Университета “Сириус”, руководитель направления “Финансовая математика и финансовые технологии”

Миронов Андрей Михайлович, доцент Механико-математического факультета МГУ им. М. В. Ломоносова

Щепетков Илья Викторович, Факультет компьютерных наук НИУ ВШЭ / ИСП РАН им. В. П. Иванникова

Чивилихин Даниил Сергеевич, доцент ИТМО

Васильев Николай Константинович, старший научный сотрудник Лидирующего исследовательского центра в области формально-верифицированных систем распределенного реестра Университета Иннополис

Ассистенты:

Смирнов Александр Михайлович и Зиборов Кирилл Викторович - научные сотрудники Лидирующего исследовательского центра в области формально-верифицированных систем распределенного реестра Университета Иннополис

Условия участия

Всем, кто прошел конкурсный отбор и был приглашен на программу, необходимо привезти с собой один из следующих документов:

 

- сертификат о вакцинации (достаточно первого компонента вакцины) или справку о прохождении первого этапа вакцинации (на бумажном носителе);
- медицинский документ или сертификат о перенесенном заболевании из личного кабинета портала Госуслуг, со дня выздоровления не более 6 месяцев до заселения (на бумажном носителе);
- отрицательный результат ПЦР-теста (полученный не ранее, чем за три календарных дня до заселения) и обязательно добровольное согласие на прохождение вакцинации в течение трех дней со дня вселения. Обратиться в прививочный пункт необходимо самостоятельно.

 

А также справку с места учебы, взятую не ранее, чем за 3 месяца до начала образовательной программы

По приезде в Университет участникам образовательного модуля следует предоставить оригиналы указанных документов во время регистрации участников.

АНО ВО «Университет «Сириус» обеспечивает проживание, проезд / перелет по территории РФ и питание для участников программы.

Плата за обучение на программе не взимается.

К участию в программе допускаются только граждане РФ.

Подать заявку
© 2015–2024 Фонд «Талант и успех»
Нашли ошибку на сайте? Нажмите Ctrl(Cmd) + Enter. Спасибо!