Нестеров Роман Александрович
- Стажер-исследователь:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- аспирант, Преподаватель:Факультет компьютерных наук / Департамент программной инженерии
- Начал работать в НИУ ВШЭ в 2015 году.
Образование
- 2017
Магистратура: Федеральное государственное автономное образовательное учреждение высшего профессионального образования "Национальный исследовательский университет "Высшая школа экономики", факультет: Компьютерных наук, специальность «Системная и программная инженерия»
- 2015
Бакалавриат: Национальный исследовательский университет «Высшая школа экономики», специальность «Бизнес-информатика»
Дополнительное образование / Повышение квалификации / Стажировки
- First Intensive School on Cellular Automata (University of Milano-Bicocca) Сертификат
(PDF, 389 Кб) - Petri Net Course (Leiden Institute of Advanced Computer Science, University of Leiden) Сертификат
(PDF, 67 Кб) - The Introduction to Quantum Computing (Saint Petersburg State University, Coursera) Сертификат
(PDF, 330 Кб) - Stochastic Processes (HSE University, Coursera) Сертификат
(PDF, 171 Кб)

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2018-2019)
Обучение в аспирантуре
3-й год обучения
Утвержденная тема диссертации: Синтез моделей процессов для мультиагентных систем по журналам событий
Научный руководитель: Ломазова Ирина Александровна
Полномочия / обязанности
Разработка и экспериментальная оценка новых подходов для автоматизированного синтеза корректных и структурированных моделей мультиагентных систем по журналам событий (по логам).
Учебные курсы (2019/2020 уч. год)
Конференции
- 2019Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Доклад: Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs
- 2018Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Доклад: Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents
International Workshop "Algorithms & Theories for the Analysis of Event Data (ATAED 2018)" - a satellite of PETRI NETS 2018 and ACSD 2018 (Братислава). Доклад: Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
- 2017Tools 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) (Новосибирск ). Доклад: Онтология структуры веб-страниц
- АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (Пермь). Доклад: Разработка аналитических моделей бизнес-процессов: этап нормализации
- Информационные технологии в экономике, управлении и бизнесе (Москва). Доклад: Генерация аналитической модели бизнес-процессов на основе визуальной модели
- 2014IV Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (Open Semantic Technologies for Intelligent Systems, OSTIS-2014) (Минск). Доклад: Разработка интеллектуального сервиса по анализу предложений на рынке недвижимости
- Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Доклад: Job Vacancies Gathering Engine Development
- 2013Spring/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-мол_а «Разработка многоаспектной онтологии электронных документов» (руководитель: Ланин В.В.).
20191
20183
- Глава книги Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L. Compositional Discovery of Workflow Nets from Event Logs Using Morphisms, in: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Vol. 2115: CEUR Workshop Proceedings. CEUR-WS.org, 2018. P. 23-38.
- Глава книги 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
- Статья Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 285-302. doi
20171
20161
20155
- Статья 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.
20141
20131
Опыт работы
Опыт работы учебным ассистентом
Даты | Данные о курсе |
---|---|
09.2017 - 06.2019 | "Формальные методы программной инженерии" (магистратура, 1 курс), НИУ ВШЭ, факультет компьютерных наук |
02.2016 - 06.2016 | "Обеспечние качества и тестирование" (бакалавриат, 3 курс), НИУ ВШЭ, факультет компьютерных наук |
09.2014 - 03.2015 | "Теоретические основы информатики" (бакалавриат, 1 курс), НИУ ВШЭ-Пермь, факультет бизнес-информатики, направление "Бизнес-информатика" |
09.2013 - 12.2013 | "Управление данными" (бакалавриат, 2 курс), НИУ ВШЭ-Пермь, факультет бизнес-информатики, направление "Бизнес-информатика" |
Общие сведения
Даты | Место работы и должность |
09.2019 - н.вр. | НИУ ВШЭ, преподаватель департамента программной инженерии факультета компьютерных наук |
02.2017 - н.вр. | НИУ ВШЭ, стажер-исследователь научно-учебной лаборатории ПОИС |
02.2016 - 08.2017 | ООО "Биорг", инженер по тестированию |
08.2014 - 08.2015 | ГК "ИВС" (г. Пермь), программист |
08.2013 - 08.2014 | НИУ ВШЭ-Пермь, стажер-исследователь центра прикладной экономики |
Премия «Золотая Вышка» 2019
Стажёр-исследователь лаборатории - лауреат премии
ФКН на Золотой Вышке 2019
27 ноября в культурном центре Высшей школы экономики состоялось вручение премий ”Золотая Вышка”. Первую церемонию награждения провели 27 ноября 2001 года – в стиле вручения премии “Оскар”, с атрибутами кино и фильмами о номинантах.
Стажеры-исследователи лаборатории ПОИС стали призерами стипендии имени Ильи Сегаловича
В рамках празднования пятилетия ФКН в башне «Меркурий» делового центра «Москва-Сити» прошло вручение стипендии имени Ильи Сегаловича. Каждый год на стипендию номинируются студенты и аспиранты факультета, продемонстрировавшие успехи в учебе и научных исследованиях. В этом году стипендиатами стали Полина Таранцова и Роман Нестеров.
На пятилетии факультета компьютерных наук вручили стипендии имени Ильи Сегаловича
В рамках празднования пятилетия ФКН в башне «Меркурий» делового центра «Москва-Сити» прошло вручение стипендии имени Ильи Сегаловича. Каждый год на стипендию номинируются студенты и аспиранты факультета, продемонстрировавшие успехи в учебе и научных исследованиях.
Завершилась международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019)
С 21 по 23 марта в Вене прошла международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019), организованная компанией ExactPro и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.
Зимняя школа по компьютерным наукам 2019
С 3 по 7 февраля 2019 г. в Учебном центре Вороново состоялась Зимняя школа для поступающих в магистратуру факультета компьютерных наук. В этом году было подано 169 заявок из различных регионов России, а также Болгарии, Украины, Молдавии, Казахстана и Киргизии. Из них 50 участников были приглашены в Учебный центр.
Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"
ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)
SYRCoSE-2018
С 30 мая по 1 июня в Новгородском государственном университете имени Ярослава Мудрого состоялась конференция молодых ученых по программной инженерии SYRCoSE-2018 (Spring/Summer Young Researchers' Colloquium on Software Engineering). Среди участников конференции были студенты и сотрудники факультета комьютерных наук.
ICML, SYRCoSE, TU Wien, WWDC и другие аббревиатуры этого выпуска
Завершился учебный год, и на факультете компьютерных наук прошли выпускные мероприятия. Всего в этом году дипломы получили 146 бакалавров — выпускников образовательных программ “Прикладная математика и информатика” и “Программная инженерия”. Магистрами стали 79 выпускников образовательных программ “Науки о данных”, “Системная и программная инженерия” и “Математические методы оптимизации и стохастики”.