• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English (fluent)
German
Contacts
Phone:
+7 (495) 531-00-00
27867
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room S934
Timetable
SPIN-RSCI: 3223-8618
ORCID: 0000-0002-4162-9070
ResearcherID: U-5939-2017
Scopus AuthorID: 57189889731
Google Scholar
Blogs
ResearchGate
Supervisors
I. A. Lomazova
S. Lebedev
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Roman Nesterov

  • 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 Кб)

Awards and Accomplishments

Best Teacher – 2022, 2021, 2020

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)

Courses (2022/2023)

Courses (2021/2022)

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

  • 2021
    Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2021) (Москва). Presentation: Generation of Petri Nets Using Structural Property-Preserving Transformations
  • 2020
    International 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
  • 2019
    Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Presentation: Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs
  • 2018
    Spring/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

  • 2017
    Tools 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: Разработка аналитических моделей бизнес-процессов: этап нормализации
  • 2014
    IV Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (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
  • 2013
    Spring/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:

  1. RBFR (2016-2018), project 16-01-00546 "Application of Petri net extensions for modelling, synthesizing, and analyzing adaptive distributed systems".
  2. NRU HSE Academic Fund (2015), project 15-09-0254 "Visual language for describing lexical and semantical templates of electronic documents".
  3. RFBR (2014-2015), project 14-07-31273-mol_a "Multidimensional ontology of electronic documents".

Dissertation for a degree of Candidate of Science

Publications

20234

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

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

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

PeriodPosition
Sep 2019 - till present

NRU HSE, Faculty of computer science, School of Software Engineering

Feb 2017 - till presentNRU HSE, Laboratory of process-aware information systems (PAIS Lab)
Feb 2016 - Aug 2017Beorg Ltd. (Moscow)
Aug 2014 - Aug 2015ICS (Perm)
Aug 2013 - Aug 2014NRU HSE in Perm, Centre for Applied Economics

Timetable for today

Full timetable

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.