Предварительное обсуждение (предзащита) кандидатской диссертации Суворова Николая Михайловича

8 октября 2026 г. в 16:00 Департамент программной инженерии Факультета компьютерных наук проведет предварительное обсуждение (предзащиту) кандидатской диссертации Суворова Николая Михайловича на тему: «Корректность моделей потоков работ с данными: верификация и исправление» («Correctness of Data-Aware Workflow Process Models: Verification and Repair»).  

Научная специальность: 1.2.3. Теоретическая информатика, кибернетика.  

Научный руководитель: д.ф.-м.н., профессор Департамента программной инженерии Факультета компьютерных наук НИУ ВШЭ Ломазова Ирина Александровна.  

Рецензенты:  

Мицюк Алексей Александрович, к.к.н., доцент Департамента программной инженерии Факультета компьютерных наук НИУ ВШЭ;  

Нестеров Роман Александрович, к.к.н., доцент Департамента программной инженерии Факультета компьютерных наук НИУ ВШЭ.  

Предзащита пройдет с использованием дистанционных технологий.

С резюме и полным текстом диссертации можно ознакомиться по запросу в Департаменте программной инженерии Факультета компьютерных наук.