12 листопада на факультеті комп’ютерних наук, фізики та математики Херсонського державного університету відбулася відкрита лекція з теми «Прості числа та надскладні задачі». Лектором виступив професор кафедри алгебри, геометрії та математичного аналізу Олександр Савченко.
Захід зібрав викладачів та студентів факультету, а також випускників попередніх років освітньої програми Середня освіта (математика).
Також у цей день на факультеті відбулася відкрита онлайн-лекція на тему «Формальна верифікація байткоду Ethereum Virtual Machine методом інсерційного моделювання А.А. Летичевського». Спікером виступив аспірант факультету комп’ютерних наук, фізики та математики освітньо-наукової програми Інженерія програмного забезпечення - Віктор Рудь.
Лекція була присвячена надзвичайно актуальній проблемі сучасної кібербезпеки та Computer Science — забезпеченню надійності програмного коду в блокчейн-системах. Віктор Рудь презентував глибокий аналіз того, як класичні методи вітчизняної школи кібернетики можуть бути адаптовані до новітніх технологій.
Пресцентр ХДУ
Можливості: Версія для друку Відправити другу