Нестеров Роман Александрович
- Старший преподаватель:Факультет компьютерных наук / Департамент программной инженерии
- Младший научный сотрудник:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Начал работать в НИУ ВШЭ в 2015 году.
- Научно-педагогический стаж: 4 года.
Образование
- 2021
Аспирантура: Национальный исследовательский университет «Высшая школа экономики», специальность «Информатика и вычислительная техника», квалификация «Аспирантура»
- 2017
Магистратура: Национальный исследовательский университет «Высшая школа экономики», факультет: Компьютерных наук, специальность «Системная и программная инженерия»
- 2017
Магистратура: Национальный исследовательский университет «Высшая школа экономики», специальность «Программная инженерия», квалификация «Магистр»
Дополнительное образование / Повышение квалификации / Стажировки
- 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 Кб)
Достижения и поощрения
- Благодарность факультета компьютерных наук НИУ ВШЭ (июль 2023)
Лауреат премии "Золотая Вышка" – 2019 в номинации Серебряный птенец
Надбавка за академическую работу (2020-2021)
Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2018-2019)
Полномочия / обязанности
Разработка и экспериментальная оценка новых подходов для автоматизированного синтеза корректных и структурированных моделей мультиагентных систем по журналам событий (по логам).
Учебные курсы (2023/2024 уч. год)
- Алгоритмы и структуры данных-1 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Основы программирования на С++ (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 4 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2-4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Алгоритмы и структуры данных (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Основы программирования на С++ (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 4 модуль)Рус
- Построение и анализ алгоритмов (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2-4 модуль)Анг
Учебные курсы (2021/2022 уч. год)
- Алгоритмы и структуры данных (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Research Seminar "Software Engineering: Development Management"-2 (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Анг
- Построение и анализ алгоритмов (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2020/2021 уч. год)
Учебные курсы (2019/2020 уч. год)
Конференции
- 2021Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2021) (Москва). Доклад: Generation of Petri Nets Using Structural Property-Preserving Transformations
- 2020International Workshop on Petri Nets and Software Engineering (PNSE-2020) - a satellite event of 41st International Conference on Application and Theory of Petri nets and Concurrency (Онлайн). Доклад: Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
- 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-мол_а «Разработка многоаспектной онтологии электронных документов» (руководитель: Ланин В.В.).
Диссертация на соискание ученой степени кандидата наук
Нестеров Р. А. Синтез моделей процессов для мультиагентных систем по журналам событий
20234
- Препринт Begicheva A., Lomazova I. A., Nesterov R. Discovering Hierarchical Process Models: an Approach Based on Events Clustering / Cornell University. Series Computer Science "arxiv.org". 2023. doi (в печати)
- Статья A. A. Sherstyugina, R. A. Nesterov. Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations // Proceedings of the Institute for System Programming of the RAS. 2023. Vol. 35. No. 3. P. 11-32. doi
- Статья Nesterov R., Bernardinello L., Lomazova I. A., Pomello L. Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach // Software and Systems Modeling. 2023. Vol. 22. P. 351-375. doi
- Статья Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L. Soundness-preserving composition of synchronously and asynchronously interacting workflow net components // Journal of Parallel and Distributed Computing. 2023. Vol. 179. Article 104704. doi
20221
20211
20201
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
Опыт работы
| Даты | Место работы и должность |
| сент. 2019 - н.вр. | НИУ ВШЭ, департамент программной инженерии факультета компьютерных наук |
| фев. 2017 - н.вр. | НИУ ВШЭ, научно-учебная лаборатория ПОИС |
| фев. 2016 - авг. 2017 | ООО "Биорг" |
| авг. 2014 - авг. 2015 | ГК "ИВС" (г. Пермь) |
| авг. 2013 - авг. 2014 | НИУ ВШЭ-Пермь, центр прикладной экономики |
Информация*
- Общий стаж: 9 лет
- Научно-педагогический стаж: 4 года
- Преподавательский стаж: 4 года
Завершился первый сезон квизов на ФКН
9 июня прошел финал сезона квизов, которые проводились на факультете в течение года. Квизы были организованы начальником отдела по работе с абитуриентами Павла Азарова и студенческой организацией CSTATI.
Третья школа для учителей информатики прошла на ФКН
20–24 марта на факультете компьютерных наук состоялся очный модульшколы для учителей информатики «Алгоритмы в решении олимпиадных задач».
В лаборатории ПОИС прошел семинар в честь ее десятилетия
3 марта 2023 года состоялся семинар, который был посвящен десятилетию научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС).
Лучшие преподаватели НИУ ВШЭ 2022 года
Поздравляем сотрудников лаборатории - Алексея Мицюка, Нестерова Романа, Карраскель Хулио - с победой в выборах лучших преподавателей ФКН
Интервью с лауреатами стипендии Сегаловича-2022. Часть 2
Продолжаем рассказывать о лауреатах стипендии Сегаловича-2022. Читайте в нашем материале о том, чем живут и что исследуют лауреаты этого года.
Конкурс на установление надбавок молодым преподавателям-2022
Выпускники вузов 2021 и 2022 годов смогут претендовать на надбавку в размере 80 тысяч рублей
Выбраны лучшие преподаватели 2021 года
Три сотрудника лаборатории: Мицюк Алексей, Шершаков Сергей, Нестеров Роман были признаны лучшими преподавателями в 2021 году. Поздравляем коллег и желаем педагогических и научных успехов!
Graduate Student of the Faculty of Computer Science on Studying in a Joint PhD Programme, Complex Systems, and Working During a Pandemic
For Roman Nesterov, PhD student and research assistant at the Laboratory of Process-Aware Information Systems (PAIS Lab), working remotely had already been the norm long before this spring. As student of a cotutelle PhD programme, he is constantly working with colleagues from Italy. We spoke with Roman about his research and about how one can pursue joint doctoral studies with another university abroad.
Аспирант ФКН о совместной аспирантуре, сложных системах и работе в пандемию
Для Романа Нестерова, аспиранта и стажера-исследователялаборатории процессно-ориентированных информационных систем (ПОИС), удаленная работа стала нормой задолго до этой весны: из-за обучения в двойной аспирантуре он постоянно работает с коллегами из Италии. Роман рассказал о своих исследованиях и о том, как можно организовать совместную аспирантуру.
Премия «Золотая Вышка» 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 выпускников образовательных программ “Науки о данных”, “Системная и программная инженерия” и “Математические методы оптимизации и стохастики”.