I am a Master of Science student at MIPT and a software engineer at the Software InfraResearch Lab (SIRL), ISP RAS, where I work on static analysis, the Svace analyzer, and research data-flow analysis techniques.
At ISP RAS I develop:
- the new Svace license protection system (near-zero overhead),
- data-flow analysis engine for unreachable code detection,
- tools and detectors used by 200+ industrial clients.
I also mentor students (BSc/MSc).
Outside of work, I am a co-founder of Studoko — a platform for managing programming courses. We launched at the ATP department of MIPT in 2025, onboarded 400+ students across 3 courses, and are currently validating hypotheses and developing the next features.
My CV is here.
- Static analysis (Svace): licensing system, DFA engine, unreachable code detection
- Research: “Static analysis methods for source code reachability” (MSc thesis)
- Patented Call Graph construction tool for large real-world codebases
- Studoko: course creation, GitLab integration, grading and so on
- Conference talks (MIPT ×2)
- Occasional open-source contributions (e.g., ProGuard)
- Continuous exploration of new tools & technologies
More stuff about me
-
[C++] sql2cypher — a transpiler from Microsoft SQL (T-SQL) to CypherQL. Open-source, research-backed, 12⭐.
-
[Java] Article on class loading across Java 8 → 9 (with examples & repo here). Covers modules, loaders, and migration pitfalls.
-
[Java / TS] Studoko — platform for teaching programming: course creation, student onboarding, GitLab automation. Launched at MIPT, 400+ students in 2025.
- Languages: Java, C/C++, Python, TypeScript/Next.js, Go (basic), Rust (learning)
- Static analysis & Compilers: DFA, CG construction, detectors, program analysis
- Backend: Spring, Nginx, PostgreSQL, OpenAPI
- DevOps: Docker, GitLab CI/CD, Jenkins
- Other: System design, mentoring, startup management, custdev, product discovery
LinkedIn
|
Telegram
|
Email