Денис Буздалов

Работает в ИСП РАН с 2010 года. Занимался проверкой моделей авиационной электроники самолетов, тестированием криптопротоколов на основе формальных моделей. И, наконец, применением выразительных систем типов и функционального программирования для автоматизированного тестирования систем, для которых сложно сгенерировать хорошие входные данные.