« Повернутися

КриКТехС 2021-7

Чергове засідання семінару відбудеться 2 листопада (вівторок) 2021 р., о 15:30 онлайн в Google Meet meet.google.com/coh-ieee-pfr
(зверніть увагу на перехід на нове посилання для зустрічей).

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

Доповіді:
Одарущенко Олег Миколайович
(д.т.н., доцент, провідний наук. співробітник, керівник лабораторії верифікації, НВП Радікс, Кропивницький-Полтава),
Божко Віктор Іванович
(к.т.н., доцент, старший наук. співробітник, НВП Радікс, Кропивницький-Полтава).
Впровадження алгебраїчних методів верифікації програмовних систем у НВП Радікс
 
Каменєв Олександр Юрійович
(к.т.н., доцент, докторант, кафедра спеціалізованих комп'ютерних систем, Український державний університет залізничного транспорту).
Розвиток наукових основ технологічного убезпечення (забезпечення безпеки) комп'ютерних систем залізничної автоматики

Інформація про проекти, конференції, семінари:
Donatas Zaveckas
(CEO, Company BTT Cloud, GmbH Skaylink).
Хмарні технології: тенденції, аналіз ринків, можливості

Харченко Вячеслав Сергійович
(д.т.н., професор, кафедра комп'ютерних систем, мереж і кібербезпеки, ХАІ).
Події, плани конференцій та інших заходів на 2021-22р.


Навіґація по катеґоріях

Доповідачі