03.05.2024
Спеціалізована вчена рада ДФ 64.052.012 з правом прийняття до розгляду та проведення разового захисту дисертації Пшеничного Кирило Юрійовича на здобуття наукового ступеня доктора філософії за спеціальністю 123 Комп’ютерна інженерія галузі знань 12 Інформаційні технології.
Голова ради: Литвинова Євгенія Іванівна, д.т.н., професор, професор кафедри автоматизації проектування обчислювальної техніки Харківського національного університету радіоелектроніки.
Автор дисертації: Пшеничний Кирило Юрійович
Спеціальність: 123 Комп’ютерна інженерія
Назва дисертаційної роботи: Моделі та методи верифікації темпоральних моделей Кінцевих автоматів на мовах опису апаратури
Науковий керівник: Шкіль Олександр Сергійович, к.т.н., доцент, доцент кафедри автоматизації проектування обчислювальної техніки Харківського національного університету радіоелектроніки.
Посилання на трансляцію захисту дисертації:
Документи: