Программа будет проведена в дистанционном формате
Прием заявок для участия в конкурсном отборе открыт до 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, научный сотрудник Университета ИТМО, постдок Университета Аалто.
аспирант Университета ИТМО.
аспирант Университета ИТМО.
аспирант Университета ИТМО и Университета Аалто.
программист Университета ИТМО.
программист Университета ИТМО.
