Skip to contentRU
Evgenii Chernatskiy

Evgenii Chernatskiy

VK

Graduated in 2023 with a bachelor's degree from  ITMO. As his thesis he used the TLA+ specification language to verify and test the consensus algorithm used in VK. At the moment, he is continuing to develop his thesis topic as an employee of VK.