Doctor of Philosophy · F3 Computer Science

Computer Science

Research and education programme for Doctors of Philosophy in F3 Computer Science.

PhDPhD admission
The applicant's guide, deadlines and documents are on the PhD admission page.
At a glance
Degree
Doctor of Philosophy
Speciality
F3 Computer Science
Study modes
Full-time, part-time
Duration
4 years
Accreditation
Accredited until 31 December 2027

About the programme

The Department trains postgraduate and doctoral students in the following specialities:

05.13.06 – Information Technologies. Supervisors: Viktor Makarovych Levykin, Serhii Fedorovych Chalyi, Maksym Viktorovych Ievlanov.

F3 – Computer Science. Supervisors: Kostiantyn Eduardovych Petrov, Viktor Makarovych Levykin, Serhii Fedorovych Chalyi, Maksym Viktorovych Ievlanov, Alina Volodymyrivna Mikhnova.

Curriculum

PhD curricula for the “Computer Science” educational and research programme by year of entry:

Educational and Research Programmes

Courses

Components of the educational part as listed in the “Computer Science” educational and research programme (2025 revision). Course syllabi are in the «Syllabi» section.

Compulsory

  1. Philosophy and Methodology of Modern Science, Problems of Developing Critical Thinking
  2. Psychological and Pedagogical Foundations of Research and Teaching Activities
  3. Research Methodology
  4. Features of Modern Scientific Communication
  5. Modern Data Analysis Methods
  6. Foreign Language as a Language of Scientific Communication
  7. Modern Information Technologies

Plus teaching practice.

Elective

PhD student's free choice, one of:

  1. Modelling of Control Objects and Processes
  2. Decision-Making and Optimisation in Information Systems and Technologies
  3. Neuro-Fuzzy Systems and Evolutionary Learning
  4. Pattern Recognition Methods

The list of electives may be extended from the university-wide catalogue of elective courses.

Syllabi and course programmes

Syllabi of the “CS” educational and research programme are published on the NURE website, on the Department of Postgraduate and Doctoral Studies page, under “Speciality 122, ERP ‘Computer Science’” (the page still uses code 122, the former name of speciality F3).

Syllabi of compulsory courses

Assessment and integrity

Stakeholders

Public discussion of the draft programme — students, graduates and employers can leave comments and suggestions.

Accreditation

The programme is accredited by the National Agency for Higher Education Quality Assurance (NAQA; accreditation case No. 1733/АС-21): accreditation certificate No. 10693 of 7 April 2025 (speciality F3 Computer Science), valid until 31 December 2027 (the term has been extended).

All accreditation documents are in the «Licensing and Accreditation» section of the NURE website.

Postgraduate and doctoral students

Dissertation topics of the department's postgraduate and doctoral students and their supervisors.

Postgraduate students

StudentSupervisorYear of studyDissertation topic
Artem DementievS. Chalyi3Models, methods and information technology for decision tree formation to build explanations in intelligent systems
Yevhen BohatovO. Chala3Models, methods and information technology for business process prototype formation in process management implementation
Dmytro YerokhinS. Chalyi3Models, methods and information technology for intelligent process mining to refine explanations in intelligent systems
Adrian KozhanovM. Ievlanov3Information technology for the synthesis of information system architecture descriptions
Rostyslav KravchenkoS. Chalyi3Models, methods and information technology for building explanations with temporal data ordering in intelligent systems
Taras ChalyiK. Petrov3Counterfactual models, methods and information technology for medical business process support
Taras MatseikoS. Chalyi3Temporal models, methods and information technology for detecting anomalous work sequences in medical business processes
Bohdan YevdokimovS. Chalyi2Models, methods and information technology for explanation reconciliation in intelligent systems
Vladyslav MakeienkoM. Ievlanov2Information technology for managing the repository of information system artifacts
Andrii RutkasK. Petrov2Neural networks in the analysis of descriptive systems
Oleksandr TsvirkunM. Ievlanov2Models, methods and information technology for selecting cloud infrastructure components of service-oriented enterprise management information systems based on functional requirements
Viktor ShutkoM. Ievlanov2Models, methods and information technology for strategic planning of cloud migration of information systems
Yevhen KliuvanskyiM. Ievlanov1Development of models and methods for risk assessment in projects of intelligent information systems (using the example of the “Smart House” system)
Vadym SlieptsovV. Levykin1Models, methods and information technologies for estimating labor costs for ensuring the quality of IT projects
Maksym MartynenkoV. Levykin1Methods and models for developing hybrid IT project life cycles
  • Artem Dementiev
    Supervisor
    S. Chalyi
    Year of study
    3
    Dissertation topic
    Models, methods and information technology for decision tree formation to build explanations in intelligent systems
  • Yevhen Bohatov
    Supervisor
    O. Chala
    Year of study
    3
    Dissertation topic
    Models, methods and information technology for business process prototype formation in process management implementation
  • Dmytro Yerokhin
    Supervisor
    S. Chalyi
    Year of study
    3
    Dissertation topic
    Models, methods and information technology for intelligent process mining to refine explanations in intelligent systems
  • Adrian Kozhanov
    Supervisor
    M. Ievlanov
    Year of study
    3
    Dissertation topic
    Information technology for the synthesis of information system architecture descriptions
  • Rostyslav Kravchenko
    Supervisor
    S. Chalyi
    Year of study
    3
    Dissertation topic
    Models, methods and information technology for building explanations with temporal data ordering in intelligent systems
  • Taras Chalyi
    Supervisor
    K. Petrov
    Year of study
    3
    Dissertation topic
    Counterfactual models, methods and information technology for medical business process support
  • Taras Matseiko
    Supervisor
    S. Chalyi
    Year of study
    3
    Dissertation topic
    Temporal models, methods and information technology for detecting anomalous work sequences in medical business processes
  • Bohdan Yevdokimov
    Supervisor
    S. Chalyi
    Year of study
    2
    Dissertation topic
    Models, methods and information technology for explanation reconciliation in intelligent systems
  • Vladyslav Makeienko
    Supervisor
    M. Ievlanov
    Year of study
    2
    Dissertation topic
    Information technology for managing the repository of information system artifacts
  • Andrii Rutkas
    Supervisor
    K. Petrov
    Year of study
    2
    Dissertation topic
    Neural networks in the analysis of descriptive systems
  • Oleksandr Tsvirkun
    Supervisor
    M. Ievlanov
    Year of study
    2
    Dissertation topic
    Models, methods and information technology for selecting cloud infrastructure components of service-oriented enterprise management information systems based on functional requirements
  • Viktor Shutko
    Supervisor
    M. Ievlanov
    Year of study
    2
    Dissertation topic
    Models, methods and information technology for strategic planning of cloud migration of information systems
  • Yevhen Kliuvanskyi
    Supervisor
    M. Ievlanov
    Year of study
    1
    Dissertation topic
    Development of models and methods for risk assessment in projects of intelligent information systems (using the example of the “Smart House” system)
  • Vadym Slieptsov
    Supervisor
    V. Levykin
    Year of study
    1
    Dissertation topic
    Models, methods and information technologies for estimating labor costs for ensuring the quality of IT projects
  • Maksym Martynenko
    Supervisor
    V. Levykin
    Year of study
    1
    Dissertation topic
    Methods and models for developing hybrid IT project life cycles

Doctoral students

StudentSupervisorDissertation topic
O. PetrychenkoV. LevykinMethods, models and information technologies for increasing the productivity of operated information systems
V. LeshchynskyiS. ChalyiCausal models, methods and information technologies for building explanations in intelligent systems
I. LeshchynskaS. ChalyiNeuro-symbolic methods and information technologies for building mental models of intelligent system decisions to support adaptive explanations
  • O. Petrychenko
    Supervisor
    V. Levykin
    Dissertation topic
    Methods, models and information technologies for increasing the productivity of operated information systems
  • V. Leshchynskyi
    Supervisor
    S. Chalyi
    Dissertation topic
    Causal models, methods and information technologies for building explanations in intelligent systems
  • I. Leshchynska
    Supervisor
    S. Chalyi
    Dissertation topic
    Neuro-symbolic methods and information technologies for building mental models of intelligent system decisions to support adaptive explanations

The year of study is as of the 2026/2027 academic year. All of them study in speciality F3 “Computer Science”, full-time.

Defended dissertations

Under the supervision of K. E. Petrov, Head of the Department

For the degree of Doctor of Philosophy:

  1. Oleksandr Yuriiovych Bozhko — “Models and Methods for Semi-Structured Data Extraction from PDF Documents” (defended on 31 July 2026, specialised academic council ДФ 64.052.051).

Under the supervision of V. M. Levykin

For the degree of Doctor of Technical Sciences:

  1. Serhii Fedorovych Chalyi — “Automated Business Process Management. Models, Methods and Technologies.”
  2. Oleksandr Yakovych Kuzomin — “Methods, Models and Information Technologies for Monitoring and Mitigating Natural Emergencies.”
  3. Ihor Vasyliovych Shevchenko — “Methods, Models and Information Technologies for Monitoring and Optimising the Growth Process of Semiconductor Single Crystals.”
  4. Maksym Viktorovych Ievlanov — “Models, Methods and Information Technology for Developing the Architecture of Complex Information Systems Based on Functional Requirements.”

For the degree of Candidate of Technical Sciences:

  1. Viktor Petrovych Borysenko — “A Method for Constructing Dialogue Logical-Semiotic Tools for Simulation Modelling of Complex Systems”;
  2. Tetiana Ivanivna Borysenko — “Automating the Synthesis of Problem-Oriented Software for Automated Systems”;
  3. Oleksandr Yakovych Skliarov — “Multilevel Algorithms for Solving Optimal Control Problems of Dynamic Systems”;
  4. Mykhailo Yuriiovych Losiev — “Solving Operational Control and Management Problems Based on Assessing the State of a Production System”;
  5. Khamed Madynovych Nahuchev — “Development and Research of a Design Automation System for the Information Base of an Automated Control System (ASU)”;
  6. Svitlana Volodymyrivna Kolesnykova — “Algorithmic Support for Operational Production Planning Tasks in Robotic Assembly Manufacturing”;
  7. Serhii Ivanovych Lymar — “Development of Hardware and Software Elements for Real-Time Operation in Local Automated Control Systems (ASU)”;
  8. Viktor Ivanovych Kauk — “Research and Development of Algorithms for Processing Frequency-Information Signals in Subsystems of Automated Information Processing and Control Systems”;
  9. Ihor Volodymyrovych Kobziev — “Models and Algorithms for Automated Management of Repair Production”;
  10. Maksym Viktorovych Ievlanov — “Development of Models and Algorithms for Automating the Creation and Maintenance of Document Flow in Organisational Systems”;
  11. Oleksii Ihorovych Mikhaievych — “Elements of a Technology for Developing Methods and Forming Algorithms for Solving Automated Control System (ASU) Problems”;
  12. Oleksandr Vasyliovych Aidarov — “Problem-Oriented Integrated Technology and Tools for Forming Multi-Criteria Models of Functional Problems in Automated Control Systems (ASU)”;
  13. Safvan A. S. Al Salaimekh — “Models and Algorithms for Developing Logistics Information Control Systems”;
  14. Mokhammad Mukhairat — “Models, Algorithms and Technology for Developing Distributed Databases of Information Control Systems”;
  15. Oleksandr Viacheslavovych Petrychenko — “Models and Algorithms of Goal Programming for Designing Information Systems Databases”;
  16. Raisa Artemivna Simkina — “Models and Algorithms of a Decision Support System for Equipment Maintenance and Repair”;
  17. Iryna Hryhorivna Krotiuk — “Models and Tools for an Operational Production Management System”;
  18. Akhmed Albakhlul — “Models of a Structural-Object Technology for Developing the Interface Complex of a Corporate Information System”;
  19. Oleksandr Petrovych Kostenko — “Models and Algorithms of an Information-Analytical Marketing System”;
  20. Ihor Vasyliovych Shevchenko — “Models and Tools for Operational Dispatch Management of Quarry Vehicles”;
  21. Tetiana Mykhailivna Neofitna — “A Categorical Model and Method for Populating Hierarchical Knowledge Bases of Subject Domains in Automated Systems”;
  22. Maryna Serhiivna Kudriavtseva — “Models and Instrumental Tasks for Monitoring and Managing an Electric Power Complex.”
  23. Maksym Andriiovych Kernosov — “Models and Information Technologies for Administering the Information Complex of Automated Systems.”
  24. Mykola Volodymyrovych Chernenko — “Methods and Information Technology for Integrating Databases of Corporate Systems.”
  25. Olha Serhiivna Hnidenko — “Models, Methods and Information Technology of Process-Based Enterprise Management Based on a Balanced Scorecard.”

Under the supervision of M. V. Ievlanov

  1. Nataliia Mykolaivna Serdiuk — “Mathematical Models, a Method and Information Technology for Monitoring the Condition of an Enterprise's Production Personnel.”