• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
Russian
English
Contacts
Phone:
+7 (495) 772-95-90
27357
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room T915
Timetable
SPIN-RSCI: 7175-3853
ORCID: 0000-0003-2352-3384
ResearcherID: J-6066-2015
Scopus AuthorID: 56380468400
Google Scholar
Blogs
ResearchGate
Office hours
Time for students: MON 15:00-17:00; THU 12:00-14:00 (please, do send me an email to arrange the meeting in advance)
Supervisors
I. Arzhantsev
S. Lebedev
I. A. Lomazova
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Alexey A. Mitsyuk

  • Alexey A. Mitsyuk has been at HSE University since 2013.

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.

Awards and Accomplishments

Best Teacher – 2022, 2021, 2019, 2017, 2016, 2015

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

Professional Memberships

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

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 Кб)

Publications

20241

Chapter Lomazova I. A., Mitsyuk A. A., Rivkin A. Typed Petri Nets with Variable Arc Weights, in: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers Vol. 492. Switzerland : Springer, 2024. doi P. 483-495. doi

20231

Article L.А. Rezunik, A.I. Perevoznikova, D.V. Eremina, A.A. Mitsyuk. Using Process Mining to Leverage the Development of a Family of Mobile Applications // Proceedings of the Institute for System Programming of the RAS. 2023. Vol. 35. No. 3. P. 171-186. doi

20213

20201

Chapter Yaroslav V. Kotylev, Mitsyuk A. A. Software System Behavior Can Be Analyzed with Visual Analytics, in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020) / Ed. by Alexander Shapoval, V. Popov, I. Makarov. Vol. 2795. CEUR Workshop Proceedings, 2020. P. 46-56.

20192

20182

20175

20162

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

20111

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

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

Journal Reviews

Conferences and seminars, other talks

2023 
October 26Public meeting of Scientific Council of the Faculty of Computer Science (page)

Talk: Analysis of Information Systems Behavior

February 17Winter School on Software Engineering (WSSE2023)

Talk: Modelling of Software Systems

2021 
April 14Wednesday Nights of Petri Nets and their Extensions (WN-PNE 09)

Talk: Structure-Preserving Process Model Repair

2020 
October 22-24Modeling and Analysis of Complex Systems and Processes (MACSPro'2020)

Talk (with Yaroslav Kotylev): Software System Behavior Can Be Analyzed with Visual Analytics

October 4-92nd International Conference on Process Mining (ICPM 2020)
June 24-2541st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2020)
2019 
December 19, 23Lectures for Moscow schoolchildren at the Faculty of Computer Science, HSE | Lecture subject: Как разрабатывают программы сейчас и что, возможно, поменяется в ближайшее время? | link
December 17Colloquium 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 1Spring/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 26Seminar of the Moscow ACM SIGMOD ChapterCMC MSU,
Talk (in russian): Process Model Correction using Event Logs
October 9PAIS 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 - 44-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 13Talk "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 29Talk "On process model repair" at the special seminar "Process-aware information systems (ru)" (November 28-29, 2015).
November 11Talk "Data and Process Analysis" in School #329 ("Пригласи ученого" project).
October 22-23Central & 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 ChapterCMC 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

1C# coding style
2Books on C#:
  • Подбельский В.В. - Язык С#. Базовый курс;​
  • Andrew W. Troelsen - Pro C# 2010 and the .NET 4 Platform;
  • Herbert Schildt - C#: A Beginner's Guide, C#: The Complete Reference.
3Books 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.
4Other 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.
5Books on Petri Nets:
  • Wolfgang Reisig - Understanding Petri Nets.
  

Timetable for today

Full timetable

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.

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.

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.