Alexey A. Mitsyuk
- Senior Research Fellow:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Associate Professor:Faculty of Computer Science / School of Software Engineering
- Alexey A. Mitsyuk has been at HSE University since 2013.
Education and Degrees
- 2019
PhD
Thesis Title: Structure-Preserving Process Model Repair Based on Event Logs - 2019
Candidate of Sciences* (PhD)
HSE University - 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)
Student Term / Thesis Papers
- Bachelor
V. Lipyanin, IDAO Support System. Faculty of Computer Science, 2020
S. Tikhonov, IntelliJ IDEA Plug-in for Synthesis of a Behavioral Software Model based on Event Log. Faculty of Computer Science, 2020
O. Ivanov, Web-application for Learning Japanese Characters. Faculty of Computer Science, 2019
N. Lyubimov, Windows Forms UI Designer Integrated into IDE Rider. Faculty of Computer Science, 2019
L. Klochkov, Visualizer of a Java Program Stack Trace using UML Diagrams. Faculty of Computer Science, 2018
A. Ostankov, Incident Classification Program. Faculty of Computer Science, 2018
T. Badretdinov, VR-guide for the Painting of I.E. Repin "Ceremonial Sitting of the State Council". Faculty of Computer Science, 2018
D. Samohvalov, WebStorm Plugin for Interactive Development of Mobile Applications on React Native. Faculty of Computer Science, 2018
T. Galimov, Takeaway: Service for Information Memorization. Faculty of Computer Science, 2017
K. Makarov, Android Application for Taking Open Courses on the Stepik.org Platform. Faculty of Computer Science, 2017
A. Sveredyuk, Extensible System for Logging and Analysis of Work Time. Faculty of Computer Science, 2017
N. Nikitina, Client-Server iOS App "Travel Map". Faculty of Computer Science, 2017
A. Karpov, iOS Application for Taking Open Courses on the Stepik.org Platform. Faculty of Computer Science, 2017
A. Konovalov, InTheMaze Game Based on Unity. Faculty of Computer Science, 2017
I. Shugurov, Program for Generation of Artificial Event Logs for BPMN 2.0 Process Models. Faculty of Computer Science, 2016
K. Samsonova, UML Sequence Diagram Constructor for Scala Programs. Faculty of Computer Science, 2016
A. Kulikov, Software for Construction of UML Class Diagrams from Source Code Written in Scala. Faculty of Computer Science, 2016
- Master
L. Klochkov, A Tool for Online Education Processes Digital Traces Analysis. Faculty of Computer Science, 2020
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
- Past Courses
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
Courses (2015/2016)
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
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
Conferences and seminars, other talks
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 |
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 (program committee)
- DAMDID/RCDL PhD Workshop 2017, 2018, 2019, 2020 (program committee)
- IDAO (International Data Analysis Olympiad) 2019, 2020 (technical team lead, organizing committee)
- FIT-M 2020 (program committee)
- CoCoS 2016 (program committee), 2017 (organizing 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)
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2019, SYRCoSE 2020)
Modeling and Analysis of Complex Systems and Processes (MACSPro 2020)
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:
|
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.