Заседание диссертационного совета по компьютерным наукам
Диссертационный совет НИУ ВШЭ по компьютерным наукам на заседании, состоявшемся 26 августа 2022 г., принял следующее решение (протокол № 14):
1. Принять к защите диссертацию Карраскель Гамес Хулио Сесара на тему: «Формальное построение и валидация поведения торговых систем с акциями: подход на основе сетей Петри», представленную на соискание учёной степени кандидата компьютерных наук и утвердить комитет по диссертации в составе:
1) Громов Василий Александрович, доктор физико-математических наук, профессор, Национальный исследовательский университет «Высшая школа экономики», профессор - председатель.
2) Бабкин Эдуард Александрович, PhD, доцент, Национальный исследовательский университет «Высшая школа экономики» (Нижний Новгород), заведующий лабораторией.
3) Кознов Дмитрий Владимирович, доктор технических наук, доцент, Санкт-Петербургский государственный университет, доцент.
4) Мутилин Вадим Сергеевич, кандидат физико-математических наук, Институт системного программирования им. В.П. Иванникова РАН, научный сотрудник.