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