13 травня аспірант ФКНФМ Рудь Віктор проведе лекцію "Формальна верифікація в середовищі Ethereum Virtual Machine"

Наступного тижня стартує ІІІ сезон Аспірантського лекторію!

Наукове товариство та факультет комп'ютерних наук, фізики та математики запрошує долучитись до лекцій!