
Летняя школа программирования GoTo Camp
50000
Хаскелль-разработчик, энтузиаст формальной верификации и Лампортист. Аналитик данных и любитель абстрактного карри. Руководитель направлений «Функциональное программирование» и «Распределенные системы» в GoTo.