Пшеничний Кирило Юрійович

03.05.2024

Спеціалізована вчена рада ДФ 64.052.012 з правом прийняття до розгляду та проведення разового захисту дисертації Пшеничного Кирило Юрійовича на здобуття наукового ступеня доктора філософії за спеціальністю 123 Комп’ютерна інженерія галузі знань 12 Інформаційні технології.

Голова ради: Литвинова Євгенія Іванівна, д.т.н., професор, професор кафедри автоматизації проектування обчислювальної техніки Харківського національного університету радіоелектроніки.

Автор дисертації: Пшеничний Кирило Юрійович

Спеціальність: 123 Комп’ютерна інженерія

Назва дисертаційної роботи: Моделі та методи верифікації темпоральних моделей Кінцевих автоматів на мовах опису апаратури

Науковий керівник: Шкіль Олександр Сергійович, к.т.н., доцент, доцент кафедри автоматизації проектування обчислювальної техніки Харківського національного університету радіоелектроніки.

Посилання на трансляцію захисту дисертації: https://youtube.com/live/0WDIFYRrzOs?feature=share

Захист: 29.06.2024 о 12.00

Документи: