Aleksei Menshutin
Senior Software Engineer at ITMO University
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 (16)
kotlin10
java-api10
symbolic-execution10
code-analysis10
java-bytecode10
unit-test10
bytecode10
java10
intellij-plugin10
smt9
jvm9
program-analysis9
static-analysis9
virtual-machine9
operating-system7
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
operating-system
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.