Мицюк Алексей Александрович

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

* Candidate of Sciences
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.

Professional Memberships

Member of IEEE Task Force on Process Mining, BPM Association

Professional Interests

process mining algorithms information systems architecture Petri nets software architecture data analysis data visualization user interface design

Awards and Accomplishments

Best Teacher — 2021–2022, 2019, 2015–2017
Young Faculty Support Programme (Group of Young Academic Professionals)
Category "New Researchers" (2015–2016)

Supervisor of the following Doctoral theses

for a Candidate of Sciences degree

1
Methods for analyzing software processes based on .NET event logs

Courses (2024/2025)

Research Seminar "Process Analysis for Software Engineering" (Bachelor’s programme; Faculty of Computer Science field of study Software Engineering; 4 year, 1-3 module)Rus
Software Systems Architecture Design (Bachelor’s programme; Faculty of Computer Science field of study Software Engineering; 3 year, 3, 4 module)Rus
Past Courses

Timetable for today

Full timetable

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

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, 2024, 2025 (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, BPM 2024)
International Scientific Сonference "Data Analytics and Management in Data Intensive Domains" (DAMDID/RCDL 2017-2025)
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2019, SYRCoSE 2020)
Modeling and Analysis of Complex Systems and Processes (MACSPro 2020)

Journal Reviews

Cluster Computing [official page]
Knowledge and Information Systems (KAIS) [official page]
Modeling and Analysis of Information Systems (MAIS) [official page]
International Journal of Data Science and Analytics (JDSA) [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, 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

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.

14

Feb

2025

Winners of Student Research Paper Competition 2024 Receive Awards

On February 10, the award ceremony for the winners and laureates of the 2024 Student Research Paper Competition took place at HSE University. Out of the 1,916 students to submit projectsto the competition, 320 participants became winners and laureates and were awarded in four categories: social sciences, economics and management sciences, exact sciences, humanities and creative industries.

14

May

2024

HSE University and Top Chinese Universities: Partnership Based on Mutual Respect and Trust

In mid-April 2024 representatives of several leading universities in China visited HSE University in Moscow. A delegation from Dalian University of Foreign Languages (DUFL), led by Rector Liu Hong, came to sign a cooperation and exchange agreement, while representatives of Xi'an Jiaotong-Liverpool University (XJTLU), led by Board Member and Vice President Chao Qiuling, discussed expanding potential areas of interaction within the existing cooperation and exchange agreement.

27

Sep

2023

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.

20

Dec

2022

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.

20

May

2020

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

28

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.

3

Mar