Максим Паршин

Разрабатываю ИИ-агента для JetBrains IDE в Veai. До этого занимался символьным исполнением и автоматической генерацией тестов в Huawei. Сейчас разбираюсь, как подружить формальные методы анализа программ с возможностями современных ИИ-моделей и сделать из этого действительно полезные инструменты для разработчиков.