Формальные методы — это комплекс тесно взаимосвязанных друг с другом разделов математики и информатики, нацеленных на разработку математических методов описания, анализа и преобразования программ и систем в целом, которые ориентированы на повышение их надежности и ресурсных характеристик. Важнейшим отличием исследований по формальным методам от чисто теоретических изысканий является их нацеленность на практическое применение: результатом математических исследований является программная реализация и внедрение в практику ИТ-индустрии.
Для подготовки профессионалов в этой области, Механико-математический факультет запускает новый профиль подготовки магистров «Формальные методы анализа программ и систем». Приём заявок открыт уже сейчас — обучение начинается в сентябре. Набор на профиль происходит в рамках направления «Математика и компьютерные науки».
Целью данного профиля является устойчивое воспроизводство специалистов в области формальных методов, способных вести такого рода исследования, а также уверенно применять их и способствовать их широкому внедрению на практике. Основными направлениями формальных методов, рассматриваемых в данном профиле, являются:
- спецификация, формализация требований, онтологическое моделирование программного обеспечения и систем,
- формальная семантика программ,
- верификация программ и систем.
Подробнее — на сайте профиля https://education.nsu.ru/formal-analysis-methods/.
