Roman Nesterov
- Senior Lecturer:Faculty of Computer Science / School of Software Engineering
- Junior Research Fellow:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Roman Nesterov has been at HSE University since 2015.
Education
- 2021
Doctoral programme
HSE University - 2017
Master's in System and Software Engineering
HSE University, Faculty of Computer Science - 2017
Master's
HSE University
Continuing education / Professional retraining / Internships / Study abroad experience
- First Intensive School on Cellular Automata (University of Milano-Bicocca) Certificate
(PDF, 389 Кб) - Petri Net Course (Leiden Institute of Advanced Computer Science, University of Leiden) Certificate
(PDF, 67 Кб) - The Introduction to Quantum Computing (Saint Petersburg State University, Coursera) Certificate
(PDF, 330 Кб) - Stochastic Processes (HSE University, Coursera) Certificate
(PDF, 171 Кб)
Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2018-2019)
Responsibilities
Development of new approaches constituting the formal background to the discovery of sound and structured process models for multi-agent systems from event logs.
Courses (2023/2024)
- Algorithms and Data Structures-1 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 2-4 module)Rus
- Past Courses
Courses (2022/2023)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- C++ Programming Basics (Bachelor’s programme; Faculty of Computer Science; 1 year, 4 module)Rus
- Design and Analysis of Algorithms (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 2-4 module)Eng
Courses (2021/2022)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Design and Analysis of Algorithms (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Software Engineering: Development Management"-2 (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Eng
Courses (2020/2021)
Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
Courses (2019/2020)
Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
Conferences
- 2021Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2021) (Москва). Presentation: 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 (Онлайн). Presentation: Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
- 2019Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Presentation: Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs
- 2018Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Presentation: 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 (Братислава). Presentation: Compositional Discovery of Workflow Nets from Event Logs Using Morphisms
- 2017Tools and Methods of Program Analysis (Москва). Presentation: Compositional Process Model Synthesis based on Interface Patterns
- Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE-2017) (Казань). Presentation: Using Interface Patterns for Compositional Discovery of Distributed Process Models
- 2015Знания - Онтологии - Теории (ЗОНТ-2015) (Новосибирск ). Presentation: Онтология структуры веб-страниц
- АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (Пермь). Presentation: Разработка аналитических моделей бизнес-процессов: этап нормализации
- 2014IV Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (Open Semantic Technologies for Intelligent Systems, OSTIS-2014) (Минск). Presentation: Разработка интеллектуального сервиса по анализу предложений на рынке недвижимости
- Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Presentation: Job Vacancies Gathering Engine Development
- 2013Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Presentation: Intelligent Service for Aggregation of Real Estate Market Offers
- V Международная студенческая электронная научная конференция «СТУДЕНЧЕСКИЙ НАУЧНЫЙ ФОРУМ 2013» (Москва). Presentation: Анализ структуры представления риэлторской информации в сети Интернет с целью формирвоания подхода к проектирования репозитория агентства недвижимости
- V Международная студенческая электронная научная конференция «СТУДЕНЧЕСКИЙ НАУЧНЫЙ ФОРУМ 2013» (Москва). Presentation: Анализ структуры представления риэлторской информации в сети Интернет с целью формирвоания подхода к проектирования репозитория агентства недвижимости
Grants
Research project participation:
- RBFR (2016-2018), project 16-01-00546 "Application of Petri net extensions for modelling, synthesizing, and analyzing adaptive distributed systems".
- NRU HSE Academic Fund (2015), project 15-09-0254 "Visual language for describing lexical and semantical templates of electronic documents".
- RFBR (2014-2015), project 14-07-31273-mol_a "Multidimensional ontology of electronic documents".
20233
- Preprint 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 (in press)
- Article 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
- Article 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
Chapter Bernardinello L., Irina Lomazova, Nesterov R., Pomello L. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms, in: Transactions on Petri Nets and Other Models of Concurrency XVI Vol. 13220: Lecture Notes in Computer Science. Springer, 2022. doi P. 1-23. doi
20211
Article R.A. Nesterov, S.Yu. Savelyev. Generation of Petri Nets Using Structural Property-Preserving Transformations // Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 3. P. 155-170. doi
20201
Chapter Bernardinello L., Lomazova I. A., Nesterov R., Pomello L. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms, in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020) Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020. P. 49-67.
20191
Chapter Roman A. Nesterov, Irina A. Lomazova. Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 62-73.
20183
- Chapter 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.
- Chapter 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
- Article 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
Article R.A. Nesterov, I.A. Lomazova. Using Interface Patterns for Compositional Discovery of Distributed System Models // Proceedings of the Institute for System Programming of the RAS. 2017. Vol. 29. No. 4. P. 21-38. doi
20161
Chapter Порязов С., Нестеров Р. А., Лядова Л. Н. Методы трансформации визуальных моделей процессов и систем в аналитические модели // В кн.: Математика программных систем: Межвузовский сборник научных трудов / Отв. ред.: Л. Н. Лядова. Вып. 13. Пермь : Пермский государственный национальный исследовательский университет, 2016. С. 12-21.
20155
- Article 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.
- Article Лядова Л. Н., Нестеров Р. А. О подходе к генерации аналитических моделей на основе визуальных моделей бизнес-процессов // Вестник Пермского университета. Серия: Математика. Механика. Информатика. 2015. № 4(31). С. 95-104.
- Chapter Ланин В. В., Нестеров Р. А. Онтология структуры веб-страниц // В кн.: Материалы Всероссийской конференции с международным участием «Знания - Онтологии – Теории» (ЗОНТ-2015), 6-8 октября 2015 г., Новосибирск Т. 1. Новосибирск : Институт математики им. С.Л. Соболева СО РАН, 2015. С. 176-183.
- Chapter Нестеров Р. А. Разработка аналитических моделей бизнес-процессов: этап нормализации // В кн.: АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ: Материалы всероссийской научно-технической конференции. Пермь : Издательство Пермского национального исследовательского политехнического университета, 2015. С. 73-80.
- Chapter Лядова Л. Н., Нестеров Р. А. Разработка аналитических моделей на основе визуальных моделей бизнес-процессов // В кн.: Технологии разработки информационных систем: сборник статей международной научно-практической конференции. Таганрог : Издательство ЮФУ, 2015. С. 52-66.
20141
Chapter Нестеров Р. А., Печенежский А. Б., Анисимова Т. Разработка интеллектуального сервиса анализа предложений на рынке недвижимости // В кн.: Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года). Мн. : БГУИР, 2014. С. 523-526.
20131
Chapter 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
Employment history
| Period | Position |
| Sep 2019 - till present |
NRU HSE, Faculty of computer science, School of Software Engineering |
| Feb 2017 - till present | NRU HSE, Laboratory of process-aware information systems (PAIS Lab) |
| Feb 2016 - Aug 2017 | Beorg Ltd. (Moscow) |
| Aug 2014 - Aug 2015 | ICS (Perm) |
| Aug 2013 - Aug 2014 | NRU HSE in Perm, Centre for Applied Economics |
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.
Doctoral Student Talks about Joint Programme, Complex Systems, and Research during Pandemic
Roman Nesterov, doctoral student and research intern at the Laboratory of Process-Aware Information Systems (PAIS Lab), worked distantly long before it became mainstream. For he is a student of a joint doctoral school and works together with Italian researchers. He talks about his research and how to organise a joint doctoral school.
Ilya Segalovich Scholarships Awarded on the Fifth Anniversary of HSE’s Faculty of Computer Science
As part of the HSE Faculty of Computer Science fifth anniversary celebration at Mercury Moscow City Tower, Ilya Segalovich Scholarships were awarded.