Евгений Чернацкий

ВКонтакте

Окончил в 2023 году бакалавриат КТ ИТМО. В качестве дипломной работы использовал язык спецификации TLA+ для верификации и тестирования алгоритма консенсуса, используемого во ВКонтакте. На данный момент продолжает развивать тему дипломной работы уже как сотрудник ВКонтакте.