Irina A. Lomazova
- Professor:Faculty of Computer Science / School of Software Engineering
- Laboratory Head:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Tenured Professor (2018)
- Irina A. Lomazova has been at HSE University since 2010.
Education, Degrees and Academic Titles
- 2005Professor
- 2002
Doctor of Sciences* in Theoretical Foundations of Computer Science
Russian Academy of Sciences Dorodnitsyn Computation Center - 1990Senior Research Fellow
- 1982
Candidate of Sciences* (PhD) in Discrete Mathematics and Mathematical Cybernetics
Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences - 1977
Degree
Novosibirsk State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Courses (2022/2023)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 2-4 module)Eng
- Research Seminar "Automata and Process Models" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
- Past Courses
Courses (2021/2022)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Automata and Process Models" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
- Research Seminar "Software Engineering: Development Management"-1 (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
- Research Seminar "Automata and Process Models" (Bachelor’s programme; Faculty of Computer Science; 1 year, 2 module)Rus
Courses (2019/2020)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Declarative Programming" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
Courses (2018/2019)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Declarative Programming" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
- Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
Courses (2017/2018)
Publications45
- 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
- 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
- Article Lomazova I. A., Vladimir A. Bashkin, Jančar P. Resource Bisimilarity in Petri Nets is Decidable // Fundamenta Informaticae. 2022. Vol. 186. No. 1-4. P. 175-194. doi
- Preprint Carrasquel Gamez J. C., Lomazova I. A. Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives / Cornell University. Series Computer Science "arxiv.org". 2022. doi (in press)
- Article Mecheraoui K., Lomazova I. A., Belala N. A Petri net extension for systems of concurrent communicating agents with durable actions // Journal of Parallel and Distributed Computing. 2021. Vol. 155. P. 14-23. doi
- Book Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Khachay, O. Koltsova, A. Kutuzov, Sergei O. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 12602. Cham: Springer, 2021. doi
- Chapter Carrasquel Gamez J. C., Mecheraoui K., Lomazova I. A. Checking Conformance between Colored Petri Nets and Event Logs, in: Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Khachay, O. Koltsova, A. Kutuzov, Sergei O. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 12602. Cham: Springer, 2021. doi P. 435-452. doi
- Preprint Lomazova I. A., Mitsyuk A. A., Sharipova A. Modeling MOOC learnflow with Petri net extensions / Cornell University. Series Computer Science "arxiv.org". 2021.
- Chapter Carrasquel Gamez J. C., Chuburov S. A., Lomazova I. A. Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining, in: Tools and Methods of Program Analysis. 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / Ed. by Anna Kalenkova, J. A. Lozano, R. Yavorskiy. Vol. 1288: CCIS. Springer, 2021. P. 88-100. doi
- Book Recent Trends in Analysis of Images, Social Networks and Texts. 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020 Revised Supplementary Proceedings / Ed. by W. M. van der Aalst, V. Batagelj, A. V. Buzmakov, D. I. Ignatov, A. A. Kalenkova, M. Khachay, O. Koltsova, A. Kutuzov, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch, I. Makarov, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 12602. Springer, 2021. doi
- Preprint Lomazova I. A., Mitsyuk A. A., Rivkin A. Soundness in Object-centric Workflow Petri Nets / Cornell University. Series Computer Science "arxiv.org". 2021. doi
- Chapter Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A. Compositional conformance checking of nested petri nets and event logs of multi-agent systems, in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020) / Ed. by Alexander Shapoval, V. Popov, I. Makarov. Vol. 2795. CEUR Workshop Proceedings, 2020. P. 34-45.
- Chapter Carrasquel Gamez J. C., Lomazova I. A., Rivkin A. Modeling Trading Systems using Petri Net Extensions, 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. 118-137.
- 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.
- 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.
- Chapter Alexandra Kolosova, Irina Lomazova. Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs, in: Analysis of Images, Social Networks and Texts. 8th International Conference, AIST 2019, Lecture Notes in Computer Science, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Y. Khachay, V. Kuskova, A. Kutuzov, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 11832. Cham : Springer, 2019. doi P. 401-410. doi
- Chapter Julio C. Carrasquel, Lomazova I. A. Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets, in: ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings. CEUR-WS.org, 2019. Ch. 4. P. 1-12.
- Book Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019.
- Chapter Carrasquel Gamez J. C., Lomazova I. A., Itkin I. L. Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 92-103.
- Chapter Kirill Artamonov, Irina Lomazova. What Has Remained Unchanged in Your Business Process Model?, in: 21st IEEE Conference on Business Informatics (CBI). IEEE Computer Society, 2019. P. 551-558. doi
- 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
- Chapter Kalenkova A. A., Агеев А. А., Lomazova I. A., van der Aalst W. E-Government Services: Comparing Real and Expected User Behavior, in: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers Vol. 308. Springer, 2018. P. 484-496. doi
- Book Proceedings of Analysis of Images, Social Networks and Texts – 7th International Conference, AIST 2018, Moscow, Russia, July 5-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science / Ed. by W. M. van der Aalst, V. Batagelj, G. Glavaš,, D. I. Ignatov, M. Khachay, O. Koltsova, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch,, A. Napoli,, A. Savchenko, A. Panchenko,, P. M. Pardalos, M. Pelillo,. Vol. 11179. Berlin : Springer, 2018. 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
- Book Supplementary Proceedings of the 7th International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2018), Moscow, Russia, July 5-7, 2018 / Ed. by W. van der Aalst,, V. Batagelj, G. Glavaš,, D. I. Ignatov, M. Khachay,, O. Koltsova,, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch,, A. Napoli,, A. Savchenko, A. Panchenko,, P. M. Pardalos, M. Pelillo,. Aachen : CEUR Workshop Proceedings, 2018.
- Article Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Modeling and Analysis of Information Systems. 2017. Vol. 24. No. 2. P. 125-140. doi
- Article Kalenkova A. A., van der Aalst W., Lomazova I. A., Rubin V. Process Mining Using BPMN: Relating Event Logs and Process Models // Software and Systems Modeling. 2017. Vol. 16. No. 4. P. 1019-1048. doi
- Chapter Lomazova I. A. Resource Equivalences in Petri Nets, in: Application and Theory of Petri Nets and Concurrency. 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / Ed. by W. van der Aalst, E. Best. Vol. 10258: Lecture Notes in Computer Science. Switzerland : Springer, 2017. doi P. 19-34. doi
- Article Mitsyuk A. A., Lomazova I. A., van der Aalst W. Using Event Logs for Local Correction of Process Models / Пер. с рус. // Automatic Control and Computer Sciences. 2017. Vol. 51. No. 7. P. 709-723. doi
- Article Dworzanski L. W., Lomazova I. A. Automatic construction of systems of distributed components from nested Petri nets models / Пер. с рус. // Programming and Computer Software. 2016. Vol. 42. No. 5. P. 292-306. doi
- Article Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior using Priorities for Transitions // Fundamenta Informaticae. 2016. Vol. 143. No. 1-2. P. 101-112. doi
- Chapter Sergey A. Shershakov, Anna A. Kalenkova, Lomazova I. A. Transition Systems Reduction: Balancing between Precision and Simplicity, in: International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2016; Torun; Poland; 20-21 June 2016 / Ed. by W. van der Aalst, R. Bergenthum, J. Carmona. Vol. 1592. Torun : CEUR Workshop Proceedings, 2016. P. 78-95.
- Article Begicheva A., Lomazova I. A. Does your event log fit the high-level process model? // Modeling and Analysis of Information Systems. 2015. Vol. 22. No. 3. P. 392-403. doi
- Article Vladimir A. Bashkin, Irina A. Lomazova. Decidability of k-Soundness for Workflow Nets with an Unbounded Resource // Transactions on Petri Nets and Other Models of Concurrency. 2014. Vol. 9. P. 1-18.
- Article Kalenkova A. A., Lomazova I. A. Discovery of Cancellation Regions within Process Mining Techniques // Fundamenta Informaticae. 2014. Vol. 133. No. 2-3. P. 197-209. doi
- Article Lomazova I. A., Romanov I. V. Analyzing Compatibility of Services via Resource Conformance // Fundamenta Informaticae. 2013. Vol. 128. No. 1-2. P. 129-141. doi
- Article Dworzanski L. W., Lomazova I. A. CPN Tools-Assisted Simulation and Verification of Nested Petri Nets / Пер. с рус. // Automatic Control and Computer Sciences. 2013. Vol. 47. No. 7. P. 393-402. doi
- Article Vladimir A. Bashkin, Lomazova I. A. Cellular Resource-Driven Automata // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257. doi
- Article Dworzanski L. W., Lomazova I. A. On Compositionality of Boundedness and Liveness for Nested Petri Nets // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 275-293. doi
- Article Bashkin V., Lomazova I. A. Modelling multiagent systems with the help of generalized nets of active resources // Cybernetics and Systems Analysis. 2011. No. 47(2). P. 202-209.
- Article Vladimir A. Bashkin, Lomazova I. A. Resource Driven Automata Nets // Fundamenta Informaticae. 2011. Vol. 109. No. 3. P. 223-236. doi
- Article Lomazova I. A. Interacting Workflow Nets for Workflow Process Re-Engineering // Fundamenta Informaticae. 2010. Vol. 101. No. 1-2. P. 59-70. doi
- Article Lomazova I. A., Sidorova N., Serebrenik A., van Hee K., Voorhoeve M., Oanea O. Checking Properties of Adaptive Workflow Nets // Fundamenta Informaticae. 2007. Vol. 79. No. 3-4. P. 347-362.
Editorial board membership
2016: Member of the Editorial Board, Труды Института системного программирования РАН (Proceedings of the Institute for System Programming of the RAS).
2006: Member of the Editorial Board, Моделирование и анализ информационных систем (Modeling and Analysis of Information Systems).
Pursuing a PhD in Russia: ‘Attractive and Exotic’
After getting his Master’s degree in Computer Science in Rome, Julio Carrasquel decided not to pursue a corporate career in IT, but to move to Moscow to get a PhD at HSE University. As a result, he received a scholarship on the Advanced Doctoral Programme, successfully defended his thesis, and was named one of the university’s Best Teachers. Julio talked with the HSE News Service about his path in academia and life in Russia.
HSE Faculty of Computer Science Organises Its First Software Engineering Winter School
From February 14–18, the HSE Faculty of Computer Science organised its first international winter school dedicated to software engineering. The event was supported by JetBrains, Innopolis University, and Schaffhausen Institute of Technology.
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.
PAIS Laboratory intern
Khalil Mecheraoui, an Algerian intern at the Laboratory of Process-Aware Information Systems (PAIS), talks about his internship grant, his work at the laboratory, and the presentation at MACS’Pro conference.
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.
HSE Staff Members Awarded Status of Tenured Professor
On June 22, several HSE lecturers and staff members were awarded the status of Tenured Professor at a meeting of HSE Academic Council. Sixteen HSE staff members became Distinguished Professors at the Higher School of Economics for the first time.
HSE and University of London: Joint BA Programme in Applied Data Analysis
In 2018, the Higher School of Economics will launch an English-taught double degree programme in partnership with the University of London in Applied Data Analysis. Graduates will be awarded an undergraduate degree from HSE in Applied Mathematics and Information Science and a Bachelor of Science in Data Science and Business Analytics from the University of London. International applicants are invited to apply online starting November 15, 2017.
Faculty of Computer Science Students Take Gold at BPI Challenge 2017
Elizaveta Povalyaeva, Artem Fomenko and Ismail Khamitov, fourth-year students of Software Engineering, took first place in the student category at the BPI Challenge 2017, a business process analysis competition. They presented their solution at the 13th International Workshop on Business Process Intelligence 2017 and are the first students from Russia to participate in the event and win, with the highest-ever number of projects participating in the competition.
From Chaotic Dynamics to Process Mining
Sergey Shershakov is 2012 graduate of the HSE master’s programme in System and Software Engineering, lecturer of a course in Data Algorithms and Structures, a researcher at the Laboratory of Process-Aware Information Systems (PAIS Lab), and participant of the Young Faculty Support Programme in the Category ‘New Researchers’. Sergey told us what Process Mining is, how to keep your knowledge up-to-date without working in the industry, and why HSE graduates don’t have to ‘forget everything they’ve been taught’.