- Генерация данных сложной структуры для тестирования программного обеспечения.
- Развитие библиотеки property-based testing для функционального языка с зависимыми типами Idris.
- Применение зависимых типов для тестирования систем с внутренним состоянием.
- Развитие набора инструментов тестирования сетевых сервисов на основе формальных спецификаций.