Вводный курс: Введение в формальную верификацию

Мини-курс «Введение в формальную верификацию» это вводный курс для начинающих специалистов в области формального моделирования и верификации сложных систем. В рамках курса рассматриваются следующие темы: введение в теорию множеств, основы формальных методов, формальное моделирование в среде Event-B, разбор практических задач.

Ведущий семинара

Синцова Ксения Анатольевна

доцент, к.м.н.

Доцент ИИКС НИЯУ МИФИ, кандидат математических наук, имеющая более 6 лет опыта работы в крупнейших компаниях-разработчиках ПО по кибербезопасности, из них 3 года руководителем направления аналитики в разработке NGFW.

Окончила бакалавриат в СПбГПУ по направлению «Радиофизика» в 2014 году и магистратуру в НИУ ИТМО по направлению «Математическая физика и теория информации» в 2018 году. В 2024 году Ксения защитила кандидатскую диссертацию по направлению «Вещественный, комплексный и функциональный анализ» в НИУ ВШЭ.

Доклады

Свяжитесь с нами

Можешь написать свой вопрос нам в социальные сети или оставить обращение через форму