Лаборатория проводит научные исследования и разрабатывает решения по направлениям: 

 — методы формальной верификации программного обеспечения, в том числе систем-распределенного реестра и алгоритмических торговых стратегий

— cтохастические методы анализа и предсказания финансовых временных рядов, в том числе для цифровых финансовых активов

— методы, стратегии и технологии алгоритмической торговли на финансовых рынках на основе стохастической финансовой математики и машинного обучения

— финансовые деривативы (опционы) и модели волатильности финансовых рынков

— численные и численно-аналитические методы финансовой математики

— функциональное программирование и предметно-ориентированные языки программирования в финансовых технологиях. 

По данным направлениям, лаборатория также осуществляет учебно-образовательную деятельность уровней бакалавриата, магистратуры, PhD и дполнительного профессионального образования.