Computer Science
Research and education programme for Doctors of Philosophy in F3 Computer Science.
- 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
- Philosophy and Methodology of Modern Science, Problems of Developing Critical Thinking
- Psychological and Pedagogical Foundations of Research and Teaching Activities
- Research Methodology
- Features of Modern Scientific Communication
- Modern Data Analysis Methods
- Foreign Language as a Language of Scientific Communication
- Modern Information Technologies
Plus teaching practice.
Elective
PhD student's free choice, one of:
- Modelling of Control Objects and Processes
- Decision-Making and Optimisation in Information Systems and Technologies
- Neuro-Fuzzy Systems and Evolutionary Learning
- 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).
- PDFAccreditation Certificate No. 10693, “Computer Science” PhD ProgrammeOpen
- PDFSelf-Assessment Report, “Computer Science” PhD Programme (2021)Open
- PDFExpert Panel Report on the Accreditation of the “Computer Science” PhD Programme (2021)Open
- PDFNAQA Accreditation Decision, “Computer Science” PhD Programme (2021)Open
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
| Student | Supervisor | Year of study | Dissertation topic |
|---|---|---|---|
| Artem Dementiev | S. Chalyi | 3 | Models, methods and information technology for decision tree formation to build explanations in intelligent systems |
| Yevhen Bohatov | O. Chala | 3 | Models, methods and information technology for business process prototype formation in process management implementation |
| Dmytro Yerokhin | S. Chalyi | 3 | Models, methods and information technology for intelligent process mining to refine explanations in intelligent systems |
| Adrian Kozhanov | M. Ievlanov | 3 | Information technology for the synthesis of information system architecture descriptions |
| Rostyslav Kravchenko | S. Chalyi | 3 | Models, methods and information technology for building explanations with temporal data ordering in intelligent systems |
| Taras Chalyi | K. Petrov | 3 | Counterfactual models, methods and information technology for medical business process support |
| Taras Matseiko | S. Chalyi | 3 | Temporal models, methods and information technology for detecting anomalous work sequences in medical business processes |
| Bohdan Yevdokimov | S. Chalyi | 2 | Models, methods and information technology for explanation reconciliation in intelligent systems |
| Vladyslav Makeienko | M. Ievlanov | 2 | Information technology for managing the repository of information system artifacts |
| Andrii Rutkas | K. Petrov | 2 | Neural networks in the analysis of descriptive systems |
| Oleksandr Tsvirkun | M. Ievlanov | 2 | Models, methods and information technology for selecting cloud infrastructure components of service-oriented enterprise management information systems based on functional requirements |
| Viktor Shutko | M. Ievlanov | 2 | Models, methods and information technology for strategic planning of cloud migration of information systems |
| Yevhen Kliuvanskyi | M. Ievlanov | 1 | Development of models and methods for risk assessment in projects of intelligent information systems (using the example of the “Smart House” system) |
| Vadym Slieptsov | V. Levykin | 1 | Models, methods and information technologies for estimating labor costs for ensuring the quality of IT projects |
| Maksym Martynenko | V. Levykin | 1 | Methods 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
| Student | Supervisor | Dissertation topic |
|---|---|---|
| O. Petrychenko | V. Levykin | Methods, models and information technologies for increasing the productivity of operated information systems |
| V. Leshchynskyi | S. Chalyi | Causal models, methods and information technologies for building explanations in intelligent systems |
| I. Leshchynska | S. Chalyi | Neuro-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:
- 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:
- Serhii Fedorovych Chalyi — “Automated Business Process Management. Models, Methods and Technologies.”
- Oleksandr Yakovych Kuzomin — “Methods, Models and Information Technologies for Monitoring and Mitigating Natural Emergencies.”
- Ihor Vasyliovych Shevchenko — “Methods, Models and Information Technologies for Monitoring and Optimising the Growth Process of Semiconductor Single Crystals.”
- 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:
- Viktor Petrovych Borysenko — “A Method for Constructing Dialogue Logical-Semiotic Tools for Simulation Modelling of Complex Systems”;
- Tetiana Ivanivna Borysenko — “Automating the Synthesis of Problem-Oriented Software for Automated Systems”;
- Oleksandr Yakovych Skliarov — “Multilevel Algorithms for Solving Optimal Control Problems of Dynamic Systems”;
- Mykhailo Yuriiovych Losiev — “Solving Operational Control and Management Problems Based on Assessing the State of a Production System”;
- Khamed Madynovych Nahuchev — “Development and Research of a Design Automation System for the Information Base of an Automated Control System (ASU)”;
- Svitlana Volodymyrivna Kolesnykova — “Algorithmic Support for Operational Production Planning Tasks in Robotic Assembly Manufacturing”;
- Serhii Ivanovych Lymar — “Development of Hardware and Software Elements for Real-Time Operation in Local Automated Control Systems (ASU)”;
- Viktor Ivanovych Kauk — “Research and Development of Algorithms for Processing Frequency-Information Signals in Subsystems of Automated Information Processing and Control Systems”;
- Ihor Volodymyrovych Kobziev — “Models and Algorithms for Automated Management of Repair Production”;
- Maksym Viktorovych Ievlanov — “Development of Models and Algorithms for Automating the Creation and Maintenance of Document Flow in Organisational Systems”;
- Oleksii Ihorovych Mikhaievych — “Elements of a Technology for Developing Methods and Forming Algorithms for Solving Automated Control System (ASU) Problems”;
- Oleksandr Vasyliovych Aidarov — “Problem-Oriented Integrated Technology and Tools for Forming Multi-Criteria Models of Functional Problems in Automated Control Systems (ASU)”;
- Safvan A. S. Al Salaimekh — “Models and Algorithms for Developing Logistics Information Control Systems”;
- Mokhammad Mukhairat — “Models, Algorithms and Technology for Developing Distributed Databases of Information Control Systems”;
- Oleksandr Viacheslavovych Petrychenko — “Models and Algorithms of Goal Programming for Designing Information Systems Databases”;
- Raisa Artemivna Simkina — “Models and Algorithms of a Decision Support System for Equipment Maintenance and Repair”;
- Iryna Hryhorivna Krotiuk — “Models and Tools for an Operational Production Management System”;
- Akhmed Albakhlul — “Models of a Structural-Object Technology for Developing the Interface Complex of a Corporate Information System”;
- Oleksandr Petrovych Kostenko — “Models and Algorithms of an Information-Analytical Marketing System”;
- Ihor Vasyliovych Shevchenko — “Models and Tools for Operational Dispatch Management of Quarry Vehicles”;
- Tetiana Mykhailivna Neofitna — “A Categorical Model and Method for Populating Hierarchical Knowledge Bases of Subject Domains in Automated Systems”;
- Maryna Serhiivna Kudriavtseva — “Models and Instrumental Tasks for Monitoring and Managing an Electric Power Complex.”
- Maksym Andriiovych Kernosov — “Models and Information Technologies for Administering the Information Complex of Automated Systems.”
- Mykola Volodymyrovych Chernenko — “Methods and Information Technology for Integrating Databases of Corporate Systems.”
- 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
- Nataliia Mykolaivna Serdiuk — “Mathematical Models, a Method and Information Technology for Monitoring the Condition of an Enterprise's Production Personnel.”