Исследования и разработка
VSharp
Движок символьного исполнения для платформы .NET.
Работала над поддержкой генерации тестов с изоляцией окружения по принципу работы аналогичного shim-типам в Microsoft Fakes. А также над улучшением модели памяти при работе с большими объектами, например, массивами.
RInGen (Regular Invariant Generator)
Инструмент формальной верификации, победитель международных соревнований CHC-COMP в 2022 году. В качестве улучшения инструмента RInGen был предложен способ автоматического поиска инвариантов в синхронных автоматах, по результатам исследования опубликована статья
RAIDIX Era
RAID-движок для NVMe дисков, был представлен на Flash Memory Summit 2018, одной из ведущих международных промышленных конференции по flash памяти.