Комп’ютерні науки
Освітньо-наукова програма підготовки докторів філософії спеціальності F3 «Комп’ютерні науки».
- Ступінь
- Доктор філософії
- Спеціальність
- F3 Комп’ютерні науки
- Форми навчання
- Денна, заочна
- Тривалість
- 4 роки
- Акредитація
- Акредитована до 31.12.2027
Про програму
Кафедра веде підготовку аспірантів і докторантів за спеціальностями:
05.13.06 – Інформаційні технології. Наукові керівники: Левикін Віктор Макарович, Чалий Сергій Федорович, Євланов Максим Вікторович.
F3 – Комп'ютерні науки. Наукові керівники: Петров Костянтин Едуардович, Левикін Віктор Макарович, Чалий Сергій Федорович, Євланов Максим Вікторович, Міхнова Аліна Володимирівна.
Навчальний план
Навчальні плани аспірантів за освітньо-науковою програмою «Комп’ютерні науки» за роками вступу:
- Навчальний план 2025
- Навчальний план 2024
- Навчальний план 2023 (жовтень)
- Навчальний план 2023 (березень)
Освітньо-наукові програми
Дисципліни
Перелік компонентів освітньої складової за освітньо-науковою програмою «Комп’ютерні науки» (редакція 2025). Силабуси дисциплін — у розділі «Силабуси».
Обовʼязкові
- Філософія та методологія сучасної науки, проблеми формування критичного мислення
- Психолого-педагогічні основи науково-педагогічної діяльності
- Методологія наукових досліджень
- Особливості сучасної наукової комунікації
- Сучасні методи аналізу даних
- Іноземна мова як мова наукової комунікації
- Сучасні інформаційні технології
Також — педагогічна практика.
Вибіркові
Вільний вибір аспіранта — одна з дисциплін:
- Моделювання об’єктів та процесів управління
- Прийняття рішень та оптимізація в інформаційних системах і технологіях
- Нейро-фаззі системи та еволюційне навчання
- Методи розпізнавання образів
Перелік вибіркових дисциплін може бути доповнено із загального каталогу вибіркових дисциплін університету.
Силабуси й робочі програми
Силабуси дисциплін освітньо-наукової програми «КН» розміщено на сайті ХНУРЕ, на сторінці відділу аспірантури й докторантури, — у розділі «Спеціальність 122, ОНП «Комп’ютерні науки»» (там поки вказано код спеціальності 122 — попередня назва спеціальності F3).
Силабуси обов’язкових дисциплін
Оцінювання та доброчесність
Стейкхолдери
Громадське обговорення проєкту програми — студенти, випускники й роботодавці можуть залишити зауваження та пропозиції.
Акредитація
Освітньо-наукову програму акредитовано Національним агентством із забезпечення якості вищої освіти (акредитаційна справа № 1733/АС-21): сертифікат про акредитацію № 10693 від 7 квітня 2025 року (спеціальність F3 «Комп’ютерні науки»), чинний до 31 грудня 2027 року (строк продовжено).
- PDFСертифікат про акредитацію ОНП «Комп’ютерні науки» (доктор філософії) № 10693Відкрити
- PDFВідомості про самооцінювання ОНП «Комп’ютерні науки» (доктор філософії, 2021)Відкрити
- PDFЗвіт експертної групи за результатами акредитаційної експертизи ОНП «Комп’ютерні науки» (доктор філософії, 2021)Відкрити
- PDFРішення НАЗЯВО про акредитацію ОНП «Комп’ютерні науки» (доктор філософії, 2021)Відкрити
Усі документи з акредитації — у розділі «Ліцензування та акредитація» на сайті ХНУРЕ.
Аспіранти й докторанти
Теми дисертаційних досліджень аспірантів і докторантів кафедри та їхні наукові керівники.
Аспіранти
| Здобувач | Науковий керівник | Рік навчання | Тема дисертації | ORCID |
|---|---|---|---|---|
| Демент’єв Артем Миколайович | Чалий С. Ф. | 4 | Моделі, методи та інформаційна технологія формування дерева рішень для побудови пояснень в інтелектуальній системі | 0009-0003-5819-9489 |
| Богатов Євген Олегович | Чала О. В. | 4 | Моделі, методи та інформаційна технологія формування прототипів бізнес-процесів при впровадженні процесного управління | 0009-0001-5153-039X |
| Єрохін Дмитро Олексійович | Чалий С. Ф. | 4 | Моделі, методи та інформаційна технологія інтелектуального аналізу процесів для уточнення пояснень в інтелектуальних системах | 0009-0004-0384-293X |
| Кожанов Адріан Євгенович | Євланов М. В. | 4 | Інформаційна технологія синтезу опису архітектури інформаційної системи | 0009-0002-3586-6886 |
| Кравченко Ростислав Вікторович | Чалий С. Ф. | 4 | Моделі, методи та інформаційна технологія побудови пояснень з темпоральним упорядкуванням даних інтелектуальної системи | 0009-0009-0324-3597 |
| Чалий Тарас Володимирович | Петров К. Е. | 4 | Контрфактичні моделі, методи та інформаційна технологія підтримки медичних бізнес-процесів | 0009-0002-3796-5810 |
| Мацейко Тарас Михайлович | Чалий С. Ф. | 4 | Темпоральні моделі, методи та інформаційна технологія виявлення аномальних послідовностей робіт в медичних бізнес-процесах | 0009-0008-2998-4054 |
| Євдокимов Богдан Сергійович | Чалий С. Ф. | 3 | Моделі, методи та інформаційна технологія узгодження пояснень в інтелектуальних системах | 0009-0009-6450-9352 |
| Макеєнко Владислав Сергійович | Євланов М. В. | 3 | Інформаційна технологія управління реєстром артефактів інформаційної системи | 0009-0002-5259-7008 |
| Руткас Андрій Анатолійович | Петров К. Е. | 3 | Нейронні мережі в аналізі дескрипторних систем | 0009-0005-9684-3380 |
| Цвіркун Олександр Анатолійович | Євланов М. В. | 3 | Моделі, методи та інформаційна технологія вибору хмарних інфраструктурних компонентів сервіс-орієнтованих інформаційних систем управління підприємствами на основі функціональних вимог | 0009-0008-4380-7003 |
| Шутько Віктор Валерійович | Євланов М. В. | 3 | Моделі, методи та інформаційна технологія стратегічного планування хмарної міграції інформаційних систем | 0009-0001-0527-4401 |
| Клюванський Євген Геннадійович | Євланов М. В. | 3 | Розробка моделей і методів оцінювання ризиків у проєктах інтелектуальних інформаційних систем (на прикладі системи «Розумний будинок») | 0009-0007-5670-3150 |
| Слєпцов Вадим Анатолійович | Левикін В. М. | 2 | Моделі, методи та інформаційні технології оцінки трудовитрат на забезпечення якості ІТ-проєктів | 0009-0005-6646-4507 |
| Мартиненко Максим Віталійович | Левикін В. М. | 2 | Методи та моделі розвитку гібридних життєвих циклів ІТ-проєктів | — |
| Жаркіх Софія Євгенівна | Левикін В. М. | 1 | — | — |
- Демент’єв Артем Миколайович
- Науковий керівник
- Чалий С. Ф.
- Рік навчання
- 4
- Тема дисертації
- Моделі, методи та інформаційна технологія формування дерева рішень для побудови пояснень в інтелектуальній системі
- ORCID
- 0009-0003-5819-9489
- Богатов Євген Олегович
- Науковий керівник
- Чала О. В.
- Рік навчання
- 4
- Тема дисертації
- Моделі, методи та інформаційна технологія формування прототипів бізнес-процесів при впровадженні процесного управління
- ORCID
- 0009-0001-5153-039X
- Єрохін Дмитро Олексійович
- Науковий керівник
- Чалий С. Ф.
- Рік навчання
- 4
- Тема дисертації
- Моделі, методи та інформаційна технологія інтелектуального аналізу процесів для уточнення пояснень в інтелектуальних системах
- ORCID
- 0009-0004-0384-293X
- Кожанов Адріан Євгенович
- Науковий керівник
- Євланов М. В.
- Рік навчання
- 4
- Тема дисертації
- Інформаційна технологія синтезу опису архітектури інформаційної системи
- ORCID
- 0009-0002-3586-6886
- Кравченко Ростислав Вікторович
- Науковий керівник
- Чалий С. Ф.
- Рік навчання
- 4
- Тема дисертації
- Моделі, методи та інформаційна технологія побудови пояснень з темпоральним упорядкуванням даних інтелектуальної системи
- ORCID
- 0009-0009-0324-3597
- Чалий Тарас Володимирович
- Науковий керівник
- Петров К. Е.
- Рік навчання
- 4
- Тема дисертації
- Контрфактичні моделі, методи та інформаційна технологія підтримки медичних бізнес-процесів
- ORCID
- 0009-0002-3796-5810
- Мацейко Тарас Михайлович
- Науковий керівник
- Чалий С. Ф.
- Рік навчання
- 4
- Тема дисертації
- Темпоральні моделі, методи та інформаційна технологія виявлення аномальних послідовностей робіт в медичних бізнес-процесах
- ORCID
- 0009-0008-2998-4054
- Євдокимов Богдан Сергійович
- Науковий керівник
- Чалий С. Ф.
- Рік навчання
- 3
- Тема дисертації
- Моделі, методи та інформаційна технологія узгодження пояснень в інтелектуальних системах
- ORCID
- 0009-0009-6450-9352
- Макеєнко Владислав Сергійович
- Науковий керівник
- Євланов М. В.
- Рік навчання
- 3
- Тема дисертації
- Інформаційна технологія управління реєстром артефактів інформаційної системи
- ORCID
- 0009-0002-5259-7008
- Руткас Андрій Анатолійович
- Науковий керівник
- Петров К. Е.
- Рік навчання
- 3
- Тема дисертації
- Нейронні мережі в аналізі дескрипторних систем
- ORCID
- 0009-0005-9684-3380
- Цвіркун Олександр Анатолійович
- Науковий керівник
- Євланов М. В.
- Рік навчання
- 3
- Тема дисертації
- Моделі, методи та інформаційна технологія вибору хмарних інфраструктурних компонентів сервіс-орієнтованих інформаційних систем управління підприємствами на основі функціональних вимог
- ORCID
- 0009-0008-4380-7003
- Шутько Віктор Валерійович
- Науковий керівник
- Євланов М. В.
- Рік навчання
- 3
- Тема дисертації
- Моделі, методи та інформаційна технологія стратегічного планування хмарної міграції інформаційних систем
- ORCID
- 0009-0001-0527-4401
- Клюванський Євген Геннадійович
- Науковий керівник
- Євланов М. В.
- Рік навчання
- 3
- Тема дисертації
- Розробка моделей і методів оцінювання ризиків у проєктах інтелектуальних інформаційних систем (на прикладі системи «Розумний будинок»)
- ORCID
- 0009-0007-5670-3150
- Слєпцов Вадим Анатолійович
- Науковий керівник
- Левикін В. М.
- Рік навчання
- 2
- Тема дисертації
- Моделі, методи та інформаційні технології оцінки трудовитрат на забезпечення якості ІТ-проєктів
- ORCID
- 0009-0005-6646-4507
- Мартиненко Максим Віталійович
- Науковий керівник
- Левикін В. М.
- Рік навчання
- 2
- Тема дисертації
- Методи та моделі розвитку гібридних життєвих циклів ІТ-проєктів
- Жаркіх Софія Євгенівна
- Науковий керівник
- Левикін В. М.
- Рік навчання
- 1
Докторанти
| Здобувач | Науковий керівник | Тема дисертації | ORCID |
|---|---|---|---|
| Петриченко О. В. | Левикін В. М. | Методи, моделі та інформаційні технології підвищення продуктивності ІС, що експлуатуються | 0000-0002-1319-5041 |
| Лещинський В. О. | Чалий С. Ф. | Каузальні моделі, методи та інформаційні технології побудови пояснень в інтелектуальних системах | 0000-0002-8690-5702 |
| Лещинська І. О. | Чалий С. Ф. | Нейросимвольні методи та інформаційні технології побудови ментальних моделей рішень інтелектуальних систем для підтримки адаптивних пояснень | 0000-0002-8737-4595 |
- Петриченко О. В.
- Науковий керівник
- Левикін В. М.
- Тема дисертації
- Методи, моделі та інформаційні технології підвищення продуктивності ІС, що експлуатуються
- ORCID
- 0000-0002-1319-5041
- Лещинський В. О.
- Науковий керівник
- Чалий С. Ф.
- Тема дисертації
- Каузальні моделі, методи та інформаційні технології побудови пояснень в інтелектуальних системах
- ORCID
- 0000-0002-8690-5702
- Лещинська І. О.
- Науковий керівник
- Чалий С. Ф.
- Тема дисертації
- Нейросимвольні методи та інформаційні технології побудови ментальних моделей рішень інтелектуальних систем для підтримки адаптивних пояснень
- ORCID
- 0000-0002-8737-4595
Рік навчання — станом на 2026/2027 навчальний рік. Усі здобувачі навчаються за спеціальністю F3 «Комп’ютерні науки», очна форма.
Захищені дисертації
Під керівництвом д.т.н., проф. К.Е. Петрова
На здобуття наукового ступеня доктора філософії:
- Божко Олександр Юрійович — «Моделі та методи екстракції слабоструктурованих даних з PDF-документів» (захист 31 липня 2026 року, спеціалізована вчена рада ДФ 64.052.051).
Під керівництвом д.т.н., проф. В.М. Левикіна
На здобуття наукового ступеня доктора технічних наук:
- Чалий Сергій Федорович — «Автоматизоване управління бізнес-процесами. Моделі, методи та технології».
- Кузьомін Олександр Якович — «Методи, моделі та інформаційні технології моніторингу та ліквідації надзвичайних природних ситуацій».
- Шевченко Ігор Васильович — «Методи, моделі та інформаційні технології моніторингу і оптимізації процесу вирощування монокристалів напівпровідників».
- Євланов Максим Вікторович — «Моделі, методи та інформаційна технологія розробки архітектури складних інформаційних систем на основі функціональних вимог».
На здобуття наукового ступеня кандидата технічних наук:
- Борисенко Віктор Петрович — «Метод побудови діалогових логіко-семіотичних засобів автоматизації імітаційного моделювання складних систем».
- Борисенко Тетяна Іванівна — «Автоматизація синтезу проблемно-орієнтованого програмного забезпечення автоматизованих систем».
- Скляров Олександр Якович — «Багаторівневі алгоритми вирішення задач оптимального управління динамічними системами».
- Лосєв Михайло Юрійович — «Рішення задач оперативного контролю і керування на основі оцінки стану виробничої системи».
- Нагучев Хамед Мадинович — «Розробка і дослідження системи автоматизації проектування інформаційної бази АСУ».
- Колесникова Світлана Володимирівна — «Алгоритмічне забезпечення задач оперативно-виробничого планування роботизованого складального виробництва».
- Лимар Сергій Іванович — «Розробка елементів апаратно-програмного забезпечення режиму реального часу в локальних АСУ».
- Каук Віктор Іванович — «Дослідження та розробка алгоритмів переробки інформації частотно-інформаційних сигналів у підсистемах автоматизованих систем обробки інформації та управління».
- Кобзєв Ігор Володимирович — «Моделі та алгоритми автоматизованого управління ремонтним виробництвом».
- Євланов Максим Вікторович — «Розробка моделей і алгоритмів автоматизації створення та підтримки документообігу організаційних систем».
- Міхаєвич Олексій Ігорович — «Елементи технології вироблення методів та формування алгоритмів розв’язання задач АСУ».
- Айдаров Олександр Васильович — «Проблемно-орієнтована інтегрована технологія та засоби формування багатокритеріальних моделей функціональних задач в АСУ».
- Сафван А.С. Аль Салаймех — «Моделі і алгоритми розробки логістичних інформаційно-управляючих систем».
- Мохаммад Мухайрат — «Моделі, алгоритми і технологія розробки розподілених баз даних інформаційно-управляючих систем».
- Петриченко Олександр В’ячеславович — «Моделі та алгоритми цільового програмування при розробці баз даних інформаційних систем».
- Сімкіна Раїса Артемівна — «Моделі і алгоритми системи підтримки прийняття рішень з ремонтного обслуговування обладнання».
- Кротюк Ірина Григорівна — «Моделі та інструментальні засоби системи оперативного керування виробництвом».
- Ахмед Альбахлул — «Моделі структурно-об’єктної технології розробки інтерфейсного комплексу корпоративної інформаційної системи».
- Костенко Олександр Петрович — «Моделі та алгоритми інформаційно-аналітичної маркетингової системи».
- Шевченко Ігор Васильович — «Моделі та інструментальні засоби оперативно-диспетчерського управління кар’єрним автотранспортом».
- Неофітна Тетяна Михайлівна — «Категорна модель та метод поповнення ієрархічних баз знань предметних областей автоматизованих систем».
- Кудрявцева Марина Сергіївна — «Моделі та інструментальні задачі контролю та управління електроенергетичним комплексом».
- Керносов Максим Андрійович — «Моделі та інформаційні технології адміністрування інформаційного комплексу автоматизованих систем».
- Черненко Микола Володимирович — «Методи та інформаційна технологія інтеграції баз даних корпоративних систем».
- Гніденко Ольга Сергіївна — «Моделі, методи та інформаційна технологія процесного управління підприємством на основі збалансованих показників».
Під керівництвом д.т.н., проф. М.В. Євланова
На здобуття наукового ступеня кандидата технічних наук:
- Сердюк Наталія Миколаївна — «Математичні моделі, метод та інформаційна технологія моніторингу стану виробничого персоналу підприємства».