Наука та блокчейн: на ФКНФМ відбулася лекція про верифікацію байткоду методом інсерційного моделювання А.А. Летичевського
12 листопада на факультеті комп’ютерних наук, фізики та математики відбулася відкрита онлайн-лекція на тему «Формальна верифікація байткоду Ethereum Virtual Machine методом інсерційного моделювання А.А. Летичевського».
Лектором був аспірант факультету комп’ютерних наук, фізики та математики освітньо-наукової програми Інженерія програмного забезпечення - Віктор Рудь.