Зиборов Кирилл — Инженер по формальной верификации отдела безопасности распределённых систем, Positive Technologies. Выступления: Blockchain x Science.