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)

Irina A. Lomazova has been at HSE since 2010.

Education, Degrees and Academic Titles

2005
Professor
2002
Doctor of Sciences* in Theoretical Foundations of Computer Science
Russian Academy of Sciences Dorodnitsyn Computation Center
1990
Senior 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
Diploma
Novosibirsk State University

* Candidate of Sciences
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.

* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.

Awards and Accomplishments

Best Teacher – 2017, 2016, 2013, 2012, 2011

Courses (2017/2018)

Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; 1 year, 1-4 module)Eng
Research Seminar "Declarative Programming" (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 1 year, 1-3 module)Rus
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 3 year, 1-3 module)Rus
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 4 year, 1-3 module)Rus
Past Courses

Courses (2016/2017)

Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; 1 year, 1-4 module)Eng

Courses (2015/2016)

Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; 1 year, 1-4 module)Eng
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 4 year, 1-3 module)Rus

Courses (2014/2015)

Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; spec. "Software Development Management"; 1 year, 1-4 module)Eng
Preparing and Presenting of Graduate Thesis (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 4 year, 4 module)Rus
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 4 year, 1-3 module)Rus
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 3 year, 1-4 module)Rus

Courses (2013/2014)

Formal Methods in Software Engineering (Master’s programme; School of Software Engineering; programme "Software and Systems Engineering"; spec. "Software Development Management"; 1 year, 1-4 module)Eng
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; School of Software Engineering; 4 year, 1-3 module)Rus
Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; School of Software Engineering; 3 year, 1-4 module)Rus

Courses (2012/2013)

Business Process Managment Systems (Master’s programme; School of Software Engineering; programme "Software and Systems Engineering"; "Software Development Management", "Software Engineering Method and Theory"; 1 year, 3, 4 module)Eng
Formal Methods in Software Engineering (Master’s programme; School of Software Engineering; programme "Software and Systems Engineering"; "Software Engineering Method and Theory", "Software Development Management"; 1 year, 1-4 module)Eng
Research Seminar "Software Models Verification" (Bachelor’s programme; School of Software Engineering; 1 year, 1-4 module)Rus
Research Seminar "Software Models Verification" (Bachelor’s programme; School of Software Engineering; 2 year, 1-4 module)Rus
Research Seminar "Software Models Verification" (Bachelor’s programme; School of Software Engineering; 4 year, 1-3 module)Rus
Research Seminar "Software Models Verification" (Bachelor’s programme; School of Software Engineering; 3 year, 1-4 module)Rus

Courses (2011/2012)

Business Process Managment Systems (Master’s programme; School of Software Engineering; programme "Software and Systems Engineering"; "Software Development Management", "Software Engineering Method and Theory"; 1 year, 3, 4 module)Eng
Formal Methods in Software Engineering (Master’s programme; School of Software Engineering; programme "Software and Systems Engineering"; "Software Development Management", "Software Engineering Method and Theory"; 1 year, 1-4 module)Eng
Research Seminar "Software Engineering: Development Management" (Master’s programme; School of Software Engineering; programme "Software Development Management"; 2 year, 1-3 module)Rus
Research Seminar "Software Models Verification" (Bachelor’s programme; School of Software Engineering; 1 year, 1-4 module)Rus
Research Seminar "Software Models Verification" (Bachelor’s programme; School of Software Engineering; 2 year, 1-4 module)Rus
Theory of Automata and Formal Languages (Bachelor’s programme; School of Software Engineering; spec. "Программная инженерия"; 3 year, 2, 3 module)Rus
Theory of Automata and Formal Languages (Bachelor’s programme; School of Software Engineering; 2 year, 3, 4 module)Rus
Theory of Automata and Formal Languages (Bachelor’s programme; School of Software Engineering; 4 year, 1, 2 module)Rus

Courses (2010/2011)

Formal Methods in Software Engineering (Master’s programme; School of Software Engineering; programme "Software Development Management"; 1 year, 1-4 module)Rus
Research Seminar "Software Engineering: Development Management" (Master’s programme; School of Software Engineering; programme "Software Development Management"; 2 year, 1-3 module)Rus
Research Seminar "Software Engineering: Development Management" (Master’s programme; School of Software Engineering; programme "Software Development Management"; 1 year, 2-4 module)Rus
Software Models Verification (Bachelor’s programme; School of Software Engineering; 1 year, 1-4 module)Rus
Theory of Automata and Formal Languages (Bachelor’s programme; School of Software Engineering; spec. "Программная инженерия"; 3 year, 2, 3 module)Rus

Student Term / Thesis Papers

Bachelor
D. Lukyanov «Client-server Application for Playing Go Game Variants». Faculty of Computer Science, 2017
V. Serousov «Analysis of the Intensity of Interactions between Nodes of a Computer Network Based on the Event Logs». Faculty of Computer Science, 2017
A. Kulakova «Mining Hierarchical Process Model from Event Logs». Faculty of Computer Science, 2017
A. Begicheva «Algorithm for Abstract Business Process Model from a Low-Level Event Log». Faculty of Computer Science, 2016
D. Frumin «Nested Petri nets verification based on net unfoldings.». School of Software Engineering, 2014
Master
R. Nesterov «Compositional Process Model Synthesis based on Interface Patterns». Faculty of Computer Science, 2017
Y. Manukhina «Log-based User Interface Antipatterns Discovery». Faculty of Computer Science, 2016
I. Berdnikovs «Ensuring Сorrect Behavior of Petri Nets by Adding Transition Priorities». Faculty of Computer Science, 2016
V. Ermakova «Verification of Nested Petri Nets Using Unfolding Approach». Faculty of Computer Science, 2016
S. Velichko «Discovery of High-Level Process Models Through Event Log Transformation». Faculty of Computer Science, 2016
R. Iusupov «Mining Extended Event Structures from Logs». Faculty of Computer Science, 2016
S. Semikina «Stress Data Visualization». School of Software Engineering, 2014
N. Kuzneczova «Random Forest Visualization». School of Software Engineering, 2014
A. Kurenkova «Program for visualization of differences in event logs». School of Software Engineering, 2014

Full list of of student term / thesis papers

Publications

2017²

Article Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Моделирование и анализ информационных систем. 2017. Vol. 24. No. 2. P. 125-140.
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 International Publishing AG, 2017. doi P. 19-34. doi

2016⁶

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 Kalenkova A. A., van der Aalst W., Lomazova I. A., Rubin V. Process mining using BPMN: relating event logs and process models, in: MODELS '16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. NY : ACM, 2016. P. 123-123. doi
Chapter Dworzanski L. W., Lomazova I. A. Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets, in: Application and Theory of Petri Nets and Concurrency. 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings Vol. 9698: Lecture Notes in Computer Science. Switzerland : Springer International Publishing AG, 2016. doi P. 325-344. 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.
Chapter Lomazova I. A., Ermakova V. Verification of Nested Petri Nets Using an Unfolding Approach, in: CEUR Workshop Proceedings Vol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings. CEUR Workshop Proceedings, 2016. P. 93-112.

2015³

Chapter Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior Using Time Constraints, in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings Vol. 2. University of Rzeszow, 2015. P. 19-35.
Article Begicheva A., Lomazova I. A. Does your event log fit the high-level process model? // Моделирование и анализ информационных систем. 2015. Vol. 22. No. 3. P. 392-403. 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. 2015. P. 1-30. doi

2014⁸

Chapter Rubin V., Lomazova I. A., van der Aalst W. Agile Development with Software Process Mining, in: Proceedings of the 2014 International Conference on Software and System Process (ICSSP 2014). NY : ACM, 2014. P. 70-74.
Chapter Daniil Frumin, Irina Lomazova. Branching Processes of Conservative Nested Petri Nets, in: VPT 2014. Second International Workshop on Verification and Program Transformation Vol. 28: EPiC Series. EasyChair, 2014. P. 19-35.
Chapter Antonina K. Begicheva, Lomazova I. A. Checking Conformance of High-Level Business Process Models to Event Logs, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 77-82.
Chapter Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior using Priorities for Transitions, in: Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014. / Ed. by L. Popova-Zeugmann. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org). Berlin : Humboldt University of Berlin, 2014. P. 126-137.
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
Chapter Rubin V., Mitsyuk A. A., Lomazova I. A., van der Aalst W. Process Mining Can Be Applied to Software Too!, in: Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. NY : ACM, 2014. doi Ch. 57. P. 1-8. doi
Chapter Kalenkova A. A., Lomazova I. A., van der Aalst W. Process Model Discovery: A Method Based on Transition System Decomposition, in: Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings Vol. 8489: Lecture Notes in Computer Science. Berlin : Springer, 2014. P. 71-90.

2013⁴

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
Chapter Vladimir A. Bashkin, Lomazova I. A. Soundness of Workflow Nets with an Unbounded Resource is Decidable, in: Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13). Satellite events of the 34th International Conference on Application and Theory of Petri Nets and Concurrency. Milano, Italy, June, 2013 Vol. 989: CEUR Workshop Proceedings. , 2013. P. 61-75.
Chapter Vladimir A. Bashkin, Lomazova I. A., Novikova Y. A. Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling, in: Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings / Ed. by V. Malyshkin. Vol. 7979: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2013. P. 13-25.

2012³

Chapter Sergey Shershakov, Irina Lomazova. An SDVRP Platform Verification Method for Microprocessor-Based Systems Software, in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012. Perm : -, 2012. P. 79-84.
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

2011³

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 В.А. Башкин, И.А. Ломазова Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов // Cybernetics and Systems Analysis. 2011. № 2. С. 31-39.

2010¹

Article Lomazova I. A. Interacting Workflow Nets for Workflow Process Re-Engineering // Fundamenta Informaticae. 2010. Vol. 101. No. 1-2. P. 59-70. doi

2007¹

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.

2006¹

Article Lomazova I. A., Voorhoeve M., Oanea O., van Hee K., Sidorova N., Serebrenik A. Nested Nets for Adaptive Systems. // Lecture Notes in Computer Science. 2006. Vol. 4024. P. 241-260.

Conferences

2014
Verification and Program Transformation (VPT 2014) (Вена). Presentation: Branching Processes of Conservative Nested Petri Nets
Concurrency, Specification and Programming (CS&P'2014) (Хемниц). Presentation: Controlling Petri Net Behavior using Priorities for Transitions

Editorial board membership

2016: Member of the Editorial Board, Труды Института системного программирования РАН (Proceedings of the Institute for System Programming).
2006: Member of the Editorial Board, Моделирование и анализ информационных систем.

Timetable for today

Full timetable

Jan

2017

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’.