Нестеров Роман Александрович, Факультет компьютерных наук (Москва)

НОМИНАЦИЯ «СЕРЕБРЯНЫЙ ПТЕНЕЦ»

Кандидатуру предлагают: Авдошин Сергей Михайлович, руководитель департамента программной инженерии факультета компьютерных наук; Дегтярев Константин Юрьевич, академический руководитель образовательной программы «Системная и программная инженерия» факультета компьютерных наук; Ломазова Ирина Александровна, заведующая научно-учебной лабораторией процессно-ориентированных информационных систем факультета компьютерных наук; Мицюк Алексей Александрович, научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем факультета компьютерных наук; Шершаков Сергей Андреевич, научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем факультета компьютерных наук.

Роман Нестеров поступил в бакалавриат Пермского кампуса НИУ ВШЭ (направление «Бизнес-информатика») в 2011 году. Этот год стал началом профессионального пути Романа. Получив красный диплом бакалавра, Роман продолжил свое обучение уже в Московском кампусе, где также с отличием окончил англоязычную магистерскую программу «System and Software Engineering».

Сегодня Роман – аспирант 2-го года аспирантской школы по компьютерным наукам НИУ ВШЭ и Миланского университета-Бикокка (Università degli Studi Milano-Bicocca, UNIMIB). В НИУ ВШЭ научным руководителем Романа является ординарный профессор Ирина Александровна Ломазова, а в UNIMIB – доцент департамента информатики, систем и коммуникаций Лючия Помелло.

Кампусы менялись, но неизменным оставался интерес Романа к научно-исследовательской работе. С 2017 года он работает в научно-учебной лаборатории процессно-ориентированных информационных систем. В лаборатории Роман занимается разработкой и обоснованием новых методов синтеза моделей процессов по журналам событий (Process discovery), что неразрывно связано с темой его диссертационного исследования.

Актуальность темы подтверждается тем, что современные информационные системы накапливают колоссальные объемы данных в журналах событий, грамотный и эффективный анализ которых помогает значительно повысить надежность таких систем. Важно отметить, что направление Process discovery в 2019 году признано компанией Gartner одним из наиболее приоритетных направлений развития ИТ в мире.

Для новых методов синтеза моделей процессов, разработанных Романом в сотрудничестве с исследователями группы «Models of Concurrency, Communication and Computation» в UNIMIB, характерна глубокая теоретическая проработка, что гарантирует корректность получаемых результатов.

В работе Роман демонстрирует качества, необходимые исследователю-теоретику: он отличается исключительной внимательностью к деталям и стремлением к строгости формулировок, обладает столь важным в исследовательской работе трудолюбием, любознательностью, сосредоточенностью и вдумчивостью.

Работа в научной лаборатории включает регулярное представление результатов на семинарах и конференциях, участие в научных проектах, а также подготовку публикаций. Из наиболее значимых можно выделить следующие публикации, индексируемые в базах данных Scopus, Web of Science и РИНЦ:

• Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello. Compositional Discovery of Workflow Nets from Event Logs Using Morphisms (2018);
• Roman A. Nesterov, Irina A. Lomazova. Compositional Process Model Synthesis based on Interface Patterns (2018);
• Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents (2018);
• R.A. Nesterov, I.A. Lomazova. Using Interface Patterns for Compositional Discovery of Distributed System Models (2017).

За 2 года обучения в аспирантуре Роман представил результаты работы над диссертационным исследованием на ведущих конференциях и воркшопах, в числе которых можно отметить MACSPro 2019, SYRCoSE 2017 и 2018, ATAED 2018 и TMPA 2017.

С 2014 года Роман принимает активное участие в реализации исследовательских проектов, поддерживаемых грантами российских фондов. К ним относятся проекты РФФИ № 16-01-00546-А (2016-2018 гг.) «Применение расширений сетей Петри для моделирования, синтеза и анализа адаптивных распределенных информационных систем» и № 14-07-31273-мол_а (2014-2015 гг.) «Разработка многоаспектной онтологии электронных документов».

С 2013 года Роман работал учебным ассистентом, помогая студентам и преподавателям как Пермского, так и Московского кампусов (курсы «Управление данными», «Теоретические основы информатики», «Обеспечение качества и тестирование»). В 2019 году он был признан лучшим учебным ассистентом по мнению студентов англоязычного курса «Formal Methods and Software Engineering». Начиная с 2019/2020 учебного года, Роман продолжает работать на этой дисциплине уже как штатный преподаватель департамента программной инженерии факультета компьютерных наук. Как преподавателя его отличают творческий подход к делу, которое он хорошо знает, отзывчивость и готовность помочь студентам в освоении сложного материала.

Мы уверены, что достижения аспиранта, преподавателя и исследователя Романа Нестерова делают его достойным кандидатом на получение премии «Золотая Вышка» в номинации «Серебряный птенец».