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 - 2009
Degree
Moscow State Institute of Electronics and Mathematics
Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2015-2016)
Student Term / Thesis Papers
- Bachelor
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
D. Samohvalov «WebStorm Plugin for Interactive Development of Mobile Applications on React Native». Faculty of Computer Science, 2018
L. Klochkov «Visualizer of a Java Program Stack Trace using UML Diagrams». 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
A. Ostankov «Incident Classification Program». Faculty of Computer Science, 2018
A. Karpov «iOS Application for Taking Open Courses on the Stepik.org Platform». 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. Konovalov «InTheMaze Game Based on Unity». Faculty of Computer Science, 2017
T. Galimov «Takeaway: Service for Information Memorization». 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
Courses (2019/2020)
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
- Past Courses
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
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus
Courses (2016/2017)
- 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 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 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
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
20183
- 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
- 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, 2018. Ch. 2. P. 6-11. 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
20174
- 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., Lomazova I. A., Ivan S. Shugurov, Wil M.P. van der Aalst. Process Model Repair by Detecting Unfitting Fragments, in: Supplementary Proceedings of the 6th 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
- International Scientific Сonference "Data Analytics and Management in Data Intensive Domains" - DAMDID/RCDL’2019
A member of the program committee and PhD Workshop program committee. - International Data Analysis Olympiad organized by Yandex and HSE - IDAO - Technical team lead (organizing committee) in 2019 and 2020
- A member of the PhD Workshop program committee at the International Scientific Сonference "Data Analytics and Management in Data Intensive Domains" - DAMDID/RCDL’2017 (link), 2018 (link)
- Student Conference of CS faculty CoCoS'2017 (ru) 2017 (a member of organizing committee)
- Student Conference of CS faculty (ru) 2016 (a member of program committee)
Reviews for Conferences
International Conference on Business Process Management (BPM 2016, BPM 2018)
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2019)
International Conference - Analysis of Images, Social networks and Texts (AIST 2019)
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:
|
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.
