Возвращение слегка подзабытой рубрики – #коллектив42 На этот раз знакомимся с Синцовой Ксенией Анатольевной, кандидатом математических наук 🔍Научные интересы: стохастика, теория множеств, теория категорий, конечные автоматы, формальные методы, формальная верификация Профессиональный бэкграунд: 🟦более 7 лет в сфере разработки и кибербеза – ИнфоТекс, МТС Диджитал, Лаборатория Касперского 🟦руководство отделом системного анализа и технической документации в проекте NGFW Ксения Анатольевна занимается разработкой теории и созданием формальной математической модели межсетевых экранов следующего поколения