Григорий Бутейко

VK, ВКонтакте

Работает над инфраструктурой ВКонтакте. Программирует специализированные базы данных, сетевые протоколы и консенсусы. Исследует способы на практике обеспечивать их корректность с помощью моделирования, фаззинга, различных видов тестирования, в том числе с использованием формальных методов.