Alexey A. Mitsyuk
- Deputy Dean for Research and International Relations:Faculty of Computer Science
- Associate Professor:Faculty of Computer Science / School of Software Engineering
- Senior Research Fellow:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Alexey A. Mitsyuk has been at HSE University since 2013.
Education and Degrees
- 2019
Candidate of Sciences* (PhD)
HSE University
Thesis Title: Structure-Preserving Process Model Repair Based on Event Logs - 2009
Degree in Applied Mathematics
Moscow State Institute of Electronics and Mathematics, Applied Mathematics
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.

Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2015-2016)
Courses (2023/2024)
- Process Analysis for Software Engineering (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Past Courses
Courses (2022/2023)
- Process Analysis for Software Engineering (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
Courses (2021/2022)
- Kotlin Programming Language (Optional course (faculty); Faculty of Computer Science; 2 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
Courses (2020/2021)
- Kotlin Programming Language (Optional course (faculty); Faculty of Computer Science; 2, 3 module)Rus
- Research Seminar «Data Analysis Methods in Software Engineering» (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
- Research Seminar «Data Analysis Methods in Software Engineering» (Bachelor’s programme; Faculty of Economics, Management, and Business Informatics; 3 year, 1-3 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
Courses (2019/2020)
- Kotlin Programming Language (Optional course (faculty); Faculty of Computer Science; 2, 3 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
Courses (2018/2019)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 2 year, 1-4 module)Rus
- Kotlin Programming Language (Optional course (faculty); Faculty of Computer Science; 3, 4 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
Courses (2017/2018)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 2 year, 1-4 module)Rus
- Kotlin Programming Language (Optional course (faculty); Faculty of Computer Science; 3, 4 module)Rus
My main projects are:
- Artificial event log generation and process model simulation [Gena]
- Petri net editor Carassius
- Process model repair [Iskra]
Do not hesitate to e-mail me, if you are interested in the above subjects/projects.
My thesis - Structure-Preserving Process Model Repair Based on Event Logs (PhD in computer science from HSE, April 2019)
Errors, which I found in my papers after the publication, with corresponding corrections: errors
20231
20221
20213
- Preprint Lomazova I. A., Mitsyuk A. A., Sharipova A. Modeling MOOC learnflow with Petri net extensions / Cornell University. Series Computer Science "arxiv.org". 2021.
- 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
- Article Mitsyuk A. A., Jamgaryan N. What Software Architecture Styles are Popular? // Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 3. P. 7-26. doi
20201
20192
- Chapter Semyon E. Tikhonov, Mitsyuk A. A. A Method to Improve Workflow Net Decomposition for Process Model Repair, in: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019. Ch. 37. P. 411-423. doi
- Article Pavel Pertsukhov, Mitsyuk A. A. Simulating Petri Nets with Inhibitor and Reset Arcs // Proceedings of the Institute for System Programming of the RAS. 2019. Vol. 31. No. 4. P. 151-162. doi
20182
- Chapter Mitsyuk A. A., Котылев Я. В. Layered Layouts for Software Systems Visualization Using Nested Petri Nets, 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 Ch. 11. P. 127-138. 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
20175
- Article Mitsyuk A. A., Shugurov I., Kalenkova A. A., van der Aalst W. Generating Event Logs for High-Level Process Models // Simulation Modelling Practice and Theory. 2017. Vol. 74. P. 1-16. doi
- Chapter Mitsyuk A. A. Non-Local Correction of Process Models Using Event Logs, in: Proceedings of the 2017 Ivannikov ISPRAS Open Conference. Los Alamitos : IEEE Computer Society, 2017. Ch. 2. P. 6-11. doi
- Chapter Mitsyuk A. A., Lomazova I. A., Ivan S. Shugurov, Wil M.P. van der Aalst. Process Model Repair by Detecting Unfitting Fragments, in: Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017 / Ed. by W. van der Aalst, M. Y. Khachay, S. Kuznetsov, V. Lempitsky, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, A. V. Savchencko, S. Wasserman, D. I. Ignatov. Vol. 1975. Aachen : CEUR-WS.org, 2017. Ch. 32. P. 301-313.
- 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 Мицюк А. А., Ломазова И. А., ван дер Аалст В. Использование журналов событий для локальной корректировки моделей процессов // Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 459-480. doi
20162
- Article Shugurov I., Mitsyuk A. A. Applying MapReduce to Conformance Checking // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 3. P. 103-122. doi
- Article Mitsyuk A. A., Shugurov I. On Process Model Synthesis Based on Event Logs with Noise / Пер. с рус. // Automatic Control and Computer Sciences. 2016. Vol. 50. No. 7. P. 460-470. doi
20154
- Article N. Nikitina, A. Mitsyuk. Carassius: A Simple Process Model Editor // Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 219-236. doi
- Chapter N. M. Nikitina, A. A. Mitsyuk. Carassius: A Simple Process Model Editor, in: Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015) / Ed. by A. Kamkin, A. Petrenko, A. Terekhov. M. : , 2015. P. 129-136.
- Article I. Shugurov, A. Mitsyuk. Iskra: A Tool for Process Model Repair // Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 237-254. doi
- Chapter I. S. Shugurov, A. A. Mitsyuk. Iskra: A Tool for Process Model Repair, in: Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015) / Ed. by A. Kamkin, A. Petrenko, A. Terekhov. M. : , 2015. P. 137-143.
20144
- Chapter Shugurov I., Mitsyuk A. A. Generation of a Set of Event Logs with Noise, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 88-95.
- 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
- Article Alexey Mitsyuk, Anna Kalenkova, Sergey A. Shershakov, van der Aalst W. Using process mining for the analysis of an e-trade system: A case study // Business Informatics. 2014. Vol. 29. No. 3. P. 15-27.
- Article Мицюк А. А., Шугуров И. С. Синтез моделей процессов по журналам событий с шумом // Моделирование и анализ информационных систем. 2014. Т. 21. № 4. С. 181-198.
20111
BPI Challenge 2017
The team of students (E.Povalyaeva, I.Khamitov, and A.Fomenko) under my supervision took the first place (of 14 teams) in Student Category of BPI Challenge 2017. The team members presented their report at the BPI workshop of BPM 2017.
The final report is available at the challenge page.
Program Committee Member
- AIST (International Conference on Analysis of Images, Social Networks and Texts) 2020 (program committee)
- DAMDID/RCDL (International Scientific Сonference "Data Analytics and Management in Data Intensive Domains) 2019, 2020, 2021, 2022, 2023 (program committee)
- DAMDID/RCDL PhD Workshop 2017, 2018, 2019, 2020, 2021 (program committee)
- IDAO (International Data Analysis Olympiad) 2019, 2020, 2021 (technical team lead, organizing committee)
- IT education in modern world 2020, 2022 (organizing committee)
- Wednesday Nights of Petri Nets and their Extensions (WN-PNE, organizing committee)
- CoCoS 2016 (program committee), 2017 (organizing committee), 2021 (program committee)
Reviews for Conferences
- International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2020)
- International Conference - Analysis of Images, Social networks and Texts (AIST 2019, AIST 2020)
- International Conference on Business Process Management (BPM 2016, BPM 2018, BPM 2021)
- International Scientific Сonference "Data Analytics and Management in Data Intensive Domains" (DAMDID/RCDL 2017-2022)
- Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2019, SYRCoSE 2020)
- Modeling and Analysis of Complex Systems and Processes (MACSPro 2020)
Journal Reviews
- Knowledge and Information Systems (KAIS) [official page]
- Modeling and Analysis of Information Systems (MAIS) [official page]
- Psychology. Journal of the Higher School of Economics [psy-journal.hse.ru]
Conferences and seminars, other talks
2023 | |
October 26 | Public meeting of Scientific Council of the Faculty of Computer Science (page)
Talk: Analysis of Information Systems Behavior |
February 17 | Winter School on Software Engineering (WSSE2023)
Talk: Modelling of Software Systems |
2021 | |
April 14 | Wednesday Nights of Petri Nets and their Extensions (WN-PNE 09)
Talk: Structure-Preserving Process Model Repair |
2020 | |
October 22-24 | Modeling and Analysis of Complex Systems and Processes (MACSPro'2020)
Talk (with Yaroslav Kotylev): Software System Behavior Can Be Analyzed with Visual Analytics |
October 4-9 | 2nd International Conference on Process Mining (ICPM 2020) |
June 24-25 | 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2020) |
2019 | |
December 19, 23 | Lectures for Moscow schoolchildren at the Faculty of Computer Science, HSE | Lecture subject: Как разрабатывают программы сейчас и что, возможно, поменяется в ближайшее время? | link |
December 17 | Colloquium meetings of the Faculty of Computer Science | Talk: Что делать, если модель процесса не вполне соответствует реальности? | link1 | link2 | video |
July 17-19 |
8-th International Conference on Analysis of Images, Social Networks, and Texts (AIST 2019) | Kazan, Russia - Kazan Federal University | Talk: Method to Improve Workflow Net Decomposition for Process Model Repair (presented by Semyon Tikhonov) - Best Paper Award |
July 1 |
VI Summer school on mobile software development (ru) | Lecture/workshop: Programming in Kotlin |
May 29-30 |
Spring/Summer Young Researchers' Colloquium on Software Engineering 2019 | Saratov State University | Talk: Simulating Petri Nets with Inhibitor and Reset Arcs (presented by Pavel Pertsukhov) |
January 21 |
PAIS Lab seminar, HSE, Moscow | Talk: Educational Process Mining |
2018 | |
November 9 |
Moscow ACM ICPC Trainings, JetBrains Lecture: What is Kotlin and why is it worth learning this language? |
July 5-7 |
7-th International Conference on Analysis of Images, Social Networks, and Texts (AIST 2018) Moscow |
June 1 | Spring/Summer Young Researchers' Colloquium on Software Engineering 2018, SYRCoSE'18 Yaroslav-the-Wise Novgorod State University, Novgorod the Great, Russia Talk: Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents (with Roman Nesterov and Irina Lomazova) |
March 31 |
Mos Code Festival 2018 (link) - a part of Moscow Pre-Finals ACM ICPC Workshop Moscow Oblast, Skolkovo Lecture: Introduction to Kotlin |
2017 | |
December 3 |
Computer Science Day 2017 (link,ru) Lecture: Modelling and analysis of processes and devices |
November 30 |
Ivannikov ISPRAS Open Conference 2017 (ISPRASopen-2017) Moscow, Russian Academy of Sciences Talk: Non-Local Correction of Process Models using Event Logs |
October 26 | Seminar of the Moscow ACM SIGMOD Chapter, CMC MSU, Talk (in russian): Process Model Correction using Event Logs |
October 9 | PAIS Lab Seminar. Talk: Using Event Logs for Local Correction of Process Models (ru) |
July 27 - 29 |
6-th International Conference on Analysis of Images, Social Networks, and Texts (AIST 2017) Section "Analysis of Dynamic Behavior through Event Data" Moscow Poster Talk: Process Model Repair by Detecting Unfitting Fragments (with I.A.Lomazova, I.S.Shugurov, Wil M.P. van der Aalst) |
March 3 - 4 | 4-th International Conference on Tools and Methods of Program Analysis, ТМPА-2017 Moscow Oblast, Dolgoprudny Talk: Layered Layouts for Software Systems Visualization using Nested Petri Nets (with Yaroslav Kotylev) |
February 13 | Talk "Process mining - Method for process model synthesis and analysis" at the interfaculty seminar "Mathematics, computer science, and information technologies" (in russian). |
2016 | |
May 30 - June 1 | Spring/Summer Young Researchers' Colloquium on Software Engineering 2016, SYRCoSE'16 Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia Talk: Applying MapReduce to Conformance Checking (with Ivan Shugurov) |
2015 | |
November 29 | Talk "On process model repair" at the special seminar "Process-aware information systems (ru)" (November 28-29, 2015). |
November 11 | Talk "Data and Process Analysis" in School #329 ("Пригласи ученого" project). |
October 22-23 | Central & Eastern European Software Engineering Conference in Russia, SECR 2015 Digital October Center, Moscow. |
October 12-19 | PAIS Lab Seminar. Talk: Good and Bad Process Models. Moscow, FCS NRU HSE. |
May 28-30 | Spring/Summer Young Researchers' Colloquium on Software Engineering 2015, SYRCoSE'15 Povolzhskiy State University of Telecommunications and Informatics, Samara, Russia Talks: Carassius: A Simple Process Model Editor (with Natalia Nikitina) and Iskra: A Tool for Process Model Repair (with Ivan Shugurov) |
April 22 | Lecture User Interface Design from the Perspective of a Software Engineer (in russian) Computer Science Center, Saint Petersburg |
March 26 |
Seminar of the Moscow ACM SIGMOD Chapter, CMC MSU, |
2014 | |
October 23-24 |
Central & Eastern European Software Engineering Conference in Russia, SECR 2014 |
September 7-11 |
12th International Conference on Business Process Management, BPM 2014 |
May 29-31 |
Spring/Summer Young Researchers' Colloquium on Software Engineering 2014, SYRCoSE'14 |
2013 | |
November 24-29 |
Unleashing Operational Process Mining, Dagstuhl Seminar 13481 |
Books and Links
1 | C# coding style |
2 | Books on C#:
|
3 | Books on Java:
|
4 | Other books on software architecture design and construction:
|
5 | Books on Petri Nets:
|
New Labs to Open at Faculty of Computer Science
Based on the results of a project competition, two new laboratories are opening at HSE University’s Faculty of Computer Science. The Laboratory for Matrix and Tensor Methods in Machine Learning will be headed by Maxim Rakhuba, Associate Professor at the Big Data and Information Retrieval School. The Laboratory for Cloud and Mobile Technologies will be headed by Dmitry Alexandrov, Professor at the School of Software Engineering.
HSE Students Become Winners and Finalists of CTF Cup of Russia
Two teams including students from the HSE Faculty of Computer Science and the Moscow Institute of Electronics and Mathematics, are the best in Russia in practical cybersecurity in the framework of the Capture the Flag (CTF) competitions. The main purpose of this type of competition is the exchange of experience and knowledge in the field of information security, professional growth and the development of programming and system design culture among students and young scientists involved in cybersecurity.
What books to read in lockdown
Self-isolation is a perfect time for starting hobbies, improving personal skills, or just reading a new book. We could help with the last one. Our faculty members and administrative staff gave some recommendations on what to read during the self-isolation
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.
Interdisciplinary Seminar of the Strategic Academic Unit 'Mathematics, Computer Science, and Information Technology'
A regular research seminar aimed at sharing the results of research conducted as part of of the Strategic Academic Unit ‘Mathematics, Computer Science, and Information Technology’ and determining prospective interdisciplinary fields was recently held at HSE. This seminar will be organized regularly by different departments within the Strategic Academic Unit.