Илья Муравьёв

Разработчик инструментов для анализа кода, использующих большие языковые модели, фаззинг и символьное исполнение. Основные профессиональные интересы связаны с созданием автоматических генераторов тестов и сопутствующей инфраструктуры.

Имеет опыт реализации поддержки Spring в сборщике контекста, фаззере, символьном движке и инструментации, а также опыт интеграции этих технологий с IntelliJ-платформой. Кроме этого, Илья работает над улучшением производительности решателей задачи достижимости с контекстно-свободными ограничениями, применяемыми, в частности, для решения различных задач статического анализа кода.