« Назад

КриКТехС 2019-1

Приглашаем Вас на очередное заседание семинара КриКТехС, которое состоится 
24 января (четверг) 2019 г., в 15:00 в аудитории 238 радиокорпуса 
Национального аэрокосмического университета им. Н.Е. Жуковского «Харьковский авиационный институт»

Тема заседания:

Формальні методи та технології оцінювання та забезпечення безпеки програмних систем та критичних ІТ-інфраструктур.

Доклады:

Формальні методи у верифікації та тестуванні програмних систем

Летичевський Олександр Олександрович

(д.ф.-м.н., провідний науковий співробітник, відділ цифрових автоматів, Інститут кібернетики ім. Глушкова НАНУ).

Методологічні засади і технології оцінювання та забезпечення безпеки (захисту) критичних інформаційних інфраструктур (КІІ) (за матеріалами проекту)

Фесенко Герман  Вікторович 

(к.т.н., докторант кафедри комп'ютерних систем, мереж і кібербезпеки ХАІ),

Брежнєв Євген Віталійович 

(д.т.н., професор кафедра комп'ютерних систем, мереж і кібербезпеки ХАІ).

Информация о проектах, конференциях, семинарах:

Про створення Українського науково-освітнього ІТ-товариства.

Про конференцію IEEE DESSERT2019. 
Про WS ICTERI-TheRMIT. 

Харченко Вячеслав Сергійович

(д.т.н., професор, кафедра комп'ютерних систем, мереж і кібербезпеки ХАІ)


Навигация по категориям

Докладчики