Тема заседания:
Формальні методи та технології оцінювання та забезпечення безпеки програмних систем та критичних ІТ-інфраструктур.
Доклады:
Формальні методи у верифікації та тестуванні програмних систем
Летичевський Олександр Олександрович
(д.ф.-м.н., провідний науковий співробітник, відділ цифрових автоматів, Інститут кібернетики ім. Глушкова НАНУ).
Методологічні засади і технології оцінювання та забезпечення безпеки (захисту) критичних інформаційних інфраструктур (КІІ) (за матеріалами проекту)
Фесенко Герман Вікторович
(к.т.н., докторант кафедри комп’ютерних систем, мереж і кібербезпеки ХАІ),
Брежнєв Євген Віталійович
(д.т.н., професор кафедра комп’ютерних систем, мереж і кібербезпеки ХАІ).
Информация о проектах, конференциях, семинарах:
Про створення Українського науково-освітнього ІТ-товариства.
Про конференцію IEEE DESSERT2019.
Про WS ICTERI-TheRMIT.
Харченко Вячеслав Сергійович
(д.т.н., професор, кафедра комп’ютерних систем, мереж і кібербезпеки ХАІ)