On May 13, PhD student Viktor Rud from the Faculty of Computer Science, Physics, and Mathematics will deliver a lecture titled "Formal Verification in the Ethereum Virtual Machine Environment"
The 3rd season of the Graduate Lecture Series kicks off next week! 🧑🎓👩🎓
The Scientific Society and the Faculty of Computer Science, Physics, and Mathematics invite everyone to join the lectures!
