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.

Education

2009

Degree
Moscow State Institute of Electronics and Mathematics

Professional Interests

algorithms information systems architecture Petri nets software architecture Process Mining data analysis data visualization user interface design

Awards and Accomplishments

Best Teacher – 2017, 2016, 2015

Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Researchers" (2015-2016)

Professional Memberships

Member of IEEE Task Force on Process Mining

Student Term / Thesis Papers

Bachelor
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

Full list of of student term / thesis papers

Courses (2018/2019)

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
Past Courses

Courses (2017/2018)

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

Courses (2016/2017)

Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 2 year, 1-4 module)Rus
Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus

Courses (2015/2016)

Software Systems Design and Architecture (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus

Courses (2014/2015)

Programming (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
Software Design (Bachelor’s programme; Faculty of Computer Science; 2 year, 1-4 module)Eng

Courses (2013/2014)

Programming (Bachelor’s programme; School of Software Engineering; 1 year, 1-4 module)Rus
Software Design (Bachelor’s programme; School of Software Engineering; 2 year, 1-4 module)Eng

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 (PDF, 94 Кб)

Publications

2018³

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

2017⁴

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

2016²

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

2015⁴

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.

2014⁴

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.

2011¹

Article Клячко Л. М., Глазачев Д. О., Зеленецов, А. В., Мицюк А. А., Козин Ю. А., Пустовит Б. И. Безопасность добычи углеводородов в российском секторе Арктики нуждается в автоматизации процессов управления // Морской вестник. 2011. Т. 37. № 1. С. 37-43.

Conferences and seminars, other talks

2018
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, Talk (in russian): Методы и применения Process Mining
2014
October 23-24	Central & Eastern European Software Engineering Conference in Russia, SECR 2014 Digital October Center, Moscow, Talk: Effective analysis of user behavior using software process mining (in the best talks of 2014)
September 7-11	12th International Conference on Business Process Management, BPM 2014 Eindhoven University of Technology, Eindhoven, The NL
May 29-31	Spring/Summer Young Researchers' Colloquium on Software Engineering 2014, SYRCoSE'14 St.Petersburg State Polytechnical University, Saint Petersburg, Russia Talk: Generation of a Set of Event Logs with Noise
2013


November 24-29	Unleashing Operational Process Mining, Dagstuhl Seminar 13481 Schloss Dagstuhl - Leibniz Center for Informatics, Germany

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.
2nd International Data Analysis Olympiad organized by Yandex and HSE - IDAO 2019 - Technical team lead (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), 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)

Books and Links

1	C# coding style
2	Books on C#: Подбельский В.В. - Язык С#. Базовый курс; Andrew W. Troelsen - Pro C# 2010 and the .NET 4 Platform; Herbert Schildt - C#: A Beginner's Guide, C#: The Complete Reference.
3	Books on Java: Bruce Eckel - Thinking in Java; Java: The Complete Reference by Herbert Schildt; Core Java (I, II) by Cay S. Horstmann and Gary Cornell.
4	Other books on software architecture design and construction: Steve McConnell - Code Complete: A Practical Handbook of Software Construction; Design Patterns by the Gang of Four; Applying UML 2.0 and Patterns: Аn Introduction to Object-Oriented analysis and Design and Iterative Development by Craig Larman; The Rational Unified Process: An Introduction by Philippe Kruchten; UML Distilled by Martin Fowler.
5	Books on Petri Nets: Wolfgang Reisig - Understanding Petri Nets.

Timetable for today

Full timetable

Sep

2017

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.

Mar