Alexey A. Mitsyuk
- Research Fellow:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Senior Lecturer:Faculty of Computer Science / School of Software Engineering
- Alexey A. Mitsyuk has been at HSE since 2013.
Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2015-2016)
Member of IEEE Task Force on Process Mining
Student Term / Thesis Papers
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
Д. Самохвалов «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
A. Konovalov «InTheMaze Game Based on Unity». Faculty of Computer Science, 2017
T. Galimov «Takeaway: Service for Information Memorization». Faculty of Computer Science, 2017
N. Nikitina «Client-Server iOS App "Travel Map"». 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
A. Karpov «iOS Application for Taking Open Courses on the Stepik.org Platform». 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
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 2 year, 1-4 module)Rus
- Kotlin Programming Language (Faculty of Computer Science; 1 year, 3, 4 module)Rus
- Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; programme "Software Engineering"; 3 year, 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.
Errors, which I found in my papers after the publication, with corresponding corrections: errors
- 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
- 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
- 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
- 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.
- 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.
- 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.
- 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.
Conferences and seminars, other talks
7-th International Conference on Analysis of Images, Social Networks, and Texts (AIST 2018)
|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)
Mos Code Festival 2018 (link) - a part of Moscow Pre-Finals ACM ICPC Workshop
Moscow Oblast, Skolkovo
Lecture: Introduction to Kotlin
Computer Science Day 2017 (link,ru)
Lecture: Modelling and analysis of processes and devices
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"
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).|
|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)
|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.
|PAIS Lab Seminar. Talk: Good and Bad Process Models. Moscow, FCS NRU HSE.|
|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)
|Lecture User Interface Design from the Perspective of a Software Engineer (in russian)|
Computer Science Center, Saint Petersburg
Seminar of the Moscow ACM SIGMOD Chapter, CMC MSU,
Central & Eastern European Software Engineering Conference in Russia, SECR 2014
12th International Conference on Business Process Management, BPM 2014
Spring/Summer Young Researchers' Colloquium on Software Engineering 2014, SYRCoSE'14
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
- Student Conference of CS faculty (ru) 2016 (member of program committee)
- Student Conference of CS faculty CoCoS'2017 (ru) 2017 (member of organizing committee)
- 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) and DAMDID/RCDL’2018 (link)
Reviews for Conferences
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:
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.