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