• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7(495) 772-9590 доб. 22498
Address: Kochnovsky proezd, 3, Moscow, Russia, 125319
SPIN-RSCI: 7175-3853
ORCID: 0000-0003-2352-3384
ResearcherID: J-6066-2015
Scopus AuthorID: 56380468400
Google Scholar
Consultation hours
Time for students:Monday15:00 - 20:00Tuesday16:00 - 19:00Wednesday12:00 - 16:00 Please, do send me an email before the meeting.
S. M. Avdoshin
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!

Alexey A. Mitsyuk

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



Moscow State Institute of Electronics and Mathematics

Awards and Accomplishments

Best Teacher – 2017, 2016, 2015

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

Professional Memberships

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2017/2018)

Courses (2016/2017)

Courses (2015/2016)

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

Courses (2014/2015)

Courses (2013/2014)

Errors, which I found in my papers after the publication, with corresponding corrections:  errors (PDF, 94 Кб)


Conferences and seminars, other talks

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"


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).
May 30 - June 1 Spring/Summer Young Researchers' Colloquium on Software Engineering 2016, SYRCoSE'16
Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia
Applying MapReduce to Conformance Checking (with Ivan Shugurov)
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


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


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

  1. Student Conference of CS faculty (ru) 2016 (member of program committee)
  2. Student Conference of CS faculty CoCoS'2017 (ru) 2017 (member of organizing committee)
  3. PhD Workshop at the DAMDID/RCDL’2017 Conference (member of program committee)

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

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.