Ilia Muravev

Ilya develops code analysis tools employing large language models, fuzzing, and symbolic execution. His primary professional focus is on creating automated test generators and supporting infrastructure.

Ilya has experience implementing Spring support in context collectors, fuzzers, symbolic engines, and instrumentation, as well as integrating these technologies with the IntelliJ platform. He has also been working on improving the performance of context-free language reachability solvers, which are used to solve various static code analysis problems.