Alexey Menshutin
Senior Software Engineer at VK
Saint Petersburg, Saint Petersburg, Russia
Summary
👤
Senior🎓
Top SchoolAlexey Menshutin is a Senior Software Engineer with 8 years of experience specializing in Kotlin/JVM developer tooling and AI agent platforms, currently building production-grade solutions at VK. He has led ~10-engineer teams and shipped IDE agent layers, headless automation, and UI controls that enable safe, automated code changes and improved developer workflows. His research-rooted work on symbolic execution and static analysis—reflected in projects like USVM, KSMT, and UTBotJava—has materially reduced false positives and boosted finding precision in production tools. As a lecturer at ITMO University he teaches symbolic execution to master students, bridging academic advances with industrial deployments. Notably, he tripled Java analysis throughput in CI and integrated a TypeScript type-inference module that increased static-analysis precision by up to 20%, demonstrating a rare mix of systems-level engineering and formal-methods expertise.
8 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at ITMO University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (17)
kotlin10
java-bytecode10
java10
bytecode10
intellij-plugin10
symbolic-execution10
unit-test10
testing9
jvm9
static-analysis9
code-analysis9
api9
smt9
program-analysis9
test-automation8
Programming languages (4)
Github contributions (5)
CaelmBleidd/OS
Feb 2019 - Jun 2019
ITMO course of operating systems
Contributions:180 commits, 1 PR, 172 pushes in 4 months
kerneloperating-systemsoperating-systemitmooperating
CaelmBleidd/itmo-economics
Sep 2019 - Nov 2019
Contributions:149 commits, 146 pushes, 1 branch in 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.