help@sochisirius.ru
17-21 августа 2020

Дискретные методы синтеза и верификации для киберфизических систем

Программа будет проведена в дистанционном формате

Прием заявок для участия в конкурсном отборе открыт до 10 августа 2020 года включительно

По вопросам участия в программе можно обращаться по адресу students@sochisirius.ru 

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

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

Для участия в программе необходимо пройти регистрацию на сайте Образовательного центра «Сириус» в срок не позднее 23 июля 2020 года, прикрепив к заявке мотивационное письмо, резюме и тестовые задания.
.

Отбор участников будет проводиться на основе следующей рейтинговой оценки:

Резюме (от 0 до 20 баллов)
Мотивационное письмо (от 0 до 10 баллов)
Тестовые задания (от 0 до 40 баллов)

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

Задания для проведения отбора обучающихся.
Задания сформулированы таким образом, что для их решения необходимо написать программу с применением одного из следующих языков программирования: Python, Java, Kotlin, C++, Scala. К решению необходимо приложить инструкции по компиляции и запуску и/или скрипты для компиляции и запуска.
Также к решению требуется приложить краткое описание разработанного алгоритма и результатов его работы. Критерии оценки: корректность алгоритма, эффективность алгоритма, качество кода, близость числа состояний найденного автомата к минимальному.
Выполнение всех предложенных заданий не является обязательным условием приема на школу, однако объем и качество их выполнение будут являться критериями отбора.


Скачать задания

О программе

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

Цели и задачи:
Познакомить слушателей с устройством современных киберфизических систем, современными методами дискретной оптимизации на основе подходов к решению задачи выполнимости булевой формулы, методам формальной верификации.​
Представить примеры практических задач, в которых требуется применение методов формальной верификации и синтеза.
Вовлечь студентов и аспирантов в научную деятельность.

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

Вяткин
Валерий Владимирович

д.т.н., профессор Университета ИТМО, профессор Университета Аалто (Финляндия), профессор Технического Университета Лулео (Швеция), IEEE senior member.

Чивилихин
Даниил Сергеевич

к.т.н., научный сотрудник Университета ИТМО, руководитель лаборатории “Дискретная оптимизация и формальные методы”.

Ульянцев
Владимир Игоревич

к.т.н., доцент Университета ИТМО, руководитель международного научного центра “Компьютерные технологии”.

Бужинский
Игорь Петрович

PhD, научный сотрудник Университета ИТМО, постдок Университета Аалто.

Закирзянов
Илья Тимурович

аспирант Университета ИТМО.

Суворов
Дмитрий Михайлович

аспирант Университета ИТМО.

Овсянникова
Полина Александровна

аспирант Университета ИТМО и Университета Аалто.

Чухарев
Константин Игоревич

программист Университета ИТМО.

Павленко
Артём Леонидович

программист Университета ИТМО.

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