Нестеров Роман Александрович

Стажер-исследователь:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
аспирант:Факультет компьютерных наук / Департамент программной инженерии

Начал работать в НИУ ВШЭ в 2015 году.

Образование

2017
Магистратура: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский университет "Высшая школа экономики", факультет: Компьютерных наук, специальность «Системная и программная инженерия»
2015
Бакалавриат: Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский университет "Высшая школа экономики", специальность «Бизнес-информатика»

Профессиональные интересы

сети Петри мультиагентные системы распределенные системы моделирование и анализ бизнес-процессов формальные методы теория категорий Process Discovery

27.17.25 Категории 28.25.19 Абстрактные машины 50.07.03 Теория и моделирование вычислительных сред, систем, комплексов и сетей

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2018)

Обучение в аспирантуре

1-й год обучения
Утвержденная тема диссертации: Синтез моделей процессов для мультиагентных систем по журналам событий
Научный руководитель: Ломазова Ирина Александровна

Полномочия / обязанности

Разработка и экспериментальная оценка новых подходов для автоматизированного синтеза корректных и структурированных моделей мультиагентных систем по журналам событий (по логам).

Конференции

2018
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Доклад: Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents
2017
Tools and Methods of Program Analysis (Москва). Доклад: Compositional Process Model Synthesis based on Interface Patterns
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE-2017) (Казань). Доклад: Using Interface Patterns for Compositional Discovery of Distributed Process Models
2015
Знания - Онтологии - Теории (ЗОНТ-2015) (Новосибирск ). Доклад: Онтология структуры веб-страниц
АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (Пермь). Доклад: Разработка аналитических моделей бизнес-процессов: этап нормализации
Информационные технологии в экономике, управлении и бизнесе (Москва). Доклад: Генерация аналитической модели бизнес-процессов на основе визуальной модели
2014
IV Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (Open Semantic Technologies for Intelligent Systems, OSTIS-2014) (Минск). Доклад: Разработка интеллектуального сервиса по анализу предложений на рынке недвижимости
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Доклад: Job Vacancies Gathering Engine Development
2013
Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Доклад: Intelligent Service for Aggregation of Real Estate Market Offers
V Международная студенческая электронная научная конференция «СТУДЕНЧЕСКИЙ НАУЧНЫЙ ФОРУМ 2013» (Москва). Доклад: Анализ структуры представления риэлторской информации в сети Интернет с целью формирвоания подхода к проектирования репозитория агентства недвижимости
2012
Третья студенческая научно-практическая конференция факультета бизнес-информатики "Информационные технологии - фактор успеха в бизнесе" (Пермь). Доклад: Разработка учебной программы "Визуализатор метода цепочек"

Гранты

Участие в исследовательских проектах, поддержанных грантами:

РФФИ, 2016-2018 гг., проект № 16-01-00546 А «Применение расширений сетей Петри для моделирования, синтеза и анализа адаптивных распределенных информационных систем» (руководитель: Ломазова И.А.).
Научный фонд НИУ ВШЭ, Проект по софинансированию гранта РФФИ № 15-09-0254 «Разработка визуального языка описания лексико-семантических шаблонов для анализа электронных документов» (руководитель: Ланин В.В.).
РФФИ, 2014-2015 гг., проект № 14-07-31273-мол_а «Разработка многоаспектной онтологии электронных документов» (руководитель: Ланин В.В.).

Публикации

2018¹

Глава книги Roman A. Nesterov, Irina A. Lomazova. Compositional Process Model Synthesis based on Interface Patterns, in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Vol. 779: Communications in Computer and Information Science. Cham: Springer, 2018. doi P. 151-162. doi

2017¹

Статья R.A. Nesterov, I.A. Lomazova. Using Interface Patterns for Compositional Discovery of Distributed System Models // Proceedings of the Institute for System Programming. 2017. Vol. 29. No. 4. P. 21-38. doi

2016¹

Глава книги Порязов С., Нестеров Р. А., Лядова Л. Н. Методы трансформации визуальных моделей процессов и систем в аналитические модели // В кн.: Математика программных систем: Межвузовский сборник научных трудов / Отв. ред.: Л. Н. Лядова. Вып. 13. Пермь : Пермский государственный национальный исследовательский университет, 2016. С. 12-21.

2015⁵

Статья Nesterov Roman, Lyadova Lyudmila. An Approach to Multifaceted Business Process Modeling with Model Transformation Tools // International Journal "Information Models and Analyses". 2015. Vol. 4. No. 3. P. 222-242.
Статья Лядова Л. Н., Нестеров Р. А. О подходе к генерации аналитических моделей на основе визуальных моделей бизнес-процессов // Вестник Пермского университета. Серия: Математика. Механика. Информатика. 2015. № 4(31). С. 95-104.
Глава книги Ланин В. В., Нестеров Р. А. Онтология структуры веб-страниц // В кн.: Материалы Всероссийской конференции с международным участием «Знания - Онтологии – Теории» (ЗОНТ-2015), 6-8 октября 2015 г., Новосибирск Т. 1. Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2015. С. 176-183.
Глава книги Нестеров Р. А. Разработка аналитических моделей бизнес-процессов: этап нормализации // В кн.: АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ: Материалы всероссийской научно-технической конференции. Пермь : Издательство Пермского национального исследовательского политехнического университета, 2015. С. 73-80.
Глава книги Лядова Л. Н., Нестеров Р. А. Разработка аналитических моделей на основе визуальных моделей бизнес-процессов // В кн.: Технологии разработки информационных систем: сборник статей международной научно-практической конференции. Таганрог : Издательство ЮФУ, 2015. С. 52-66.

2014¹

Глава книги Нестеров Р. А., Печенежский А. Б., Анисимова Т. Разработка интеллектуального сервиса анализа предложений на рынке недвижимости // В кн.: Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года). Мн. : БГУИР, 2014. С. 523-526.

2013¹

Глава книги Lanin V., Nesterov R., Osotova Т. Intelligent Service for Aggregation of Real Estate Market Offers, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013 / Отв. ред.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan : -, 2013. P. 136-138. doi

2012¹

Глава книги Нестеров Р. А. Разработка учебной программы "Визуализатор метода цепочек" // В кн.: Информационные технологии – фактор успеха в бизнесе. Сборник работ третьей студенческой научно-практической конференции факультета бизнес-информатики / Под общ. ред.: А. Дерябина, О. Л. Викентьева, А. Х. Шелепаева, В. П. Коротун. Пермь : Пермский филиал НИУ ВШЭ, 2012. С. 73-83.

Опыт работы

Опыт работы учебным ассистентом

Даты	Данные о курсе
09.2017 - н.вр.	"Формальные методы программной инженерии" (магистратура, 1 курс), НИУ ВШЭ, факультет компьютерных наук
02.2016 - 06.2016	"Обеспечние качества и тестирование" (бакалавриат, 3 курс), НИУ ВШЭ, факультет компьютерных наук
09.2014 - 03.2015	"Теоретические основы информатики" (бакалавриат, 1 курс), НИУ ВШЭ-Пермь, факультет бизнес-информатики, направление "Бизнес-информатика"
09.2013 - 12.2013	"Управление данными" (бакалавриат, 2 курс), НИУ ВШЭ-Пермь, факультет бизнес-информатики, направление "Бизнес-информатика"

Общие сведения

Даты	Место работы и должность
02.2017 - н.вр.	НИУ ВШЭ, стажер-исследователь научно-учебной лаборатории ПОИС
02.2016 - 08.2017	ООО "Биорг", инженер по тестированию
08.2014 - 08.2015	ГК "ИВС" (г. Пермь), программист
08.2013 - 08.2014	НИУ ВШЭ-Пермь, стажер-исследователь центра прикладной экономики

июл

2017

ICML, SYRCoSE, TU Wien, WWDC и другие аббревиатуры этого выпуска

Завершился учебный год, и на факультете компьютерных наук прошли выпускные мероприятия. Всего в этом году дипломы получили 146 бакалавров — выпускников образовательных программ “Прикладная математика и информатика” и “Программная инженерия”. Магистрами стали 79 выпускников образовательных программ “Науки о данных”, “Системная и программная инженерия” и “Математические методы оптимизации и стохастики”.