Maksim Parshin

I’m building an AI agent for JetBrains IDEs at Veai. Before that, I worked on symbolic execution and automated test generation at Huawei. These days, I’m figuring out how to combine formal methods with modern AI to build tools that are actually useful to developers.