About
Product manager at Explyt, building an AI coding agent for JetBrains IDEs. Ph.D. in Computer Science with a background in software verification, symbolic execution, automated testing, and developer tools. Formerly at JetBrains Research and Huawei. I’m interested in making AI-assisted software development more precise, reliable, and controllable.
Badges
