Work Experience
Researcher at R&D Toolchain Department
Chebyshev Research Center
May 2022 – Present
AI and ML for code.
Teaching Assistant
Faculty of Mathemathics and Computer Sciences, St. Petersburg State University + HSE
September 2022 – Present
Teaching assistant in Discrete Mathematics, Theoretical Computer Science at SPbSU. Course instructor and lecturer in Formal Languages (HSE: 2024, 2025), Code Analysis & Secure Software Development (SPbSU:2023), Dynamic Graph Algorithms (SPbSU:2021, 2022).
Researcher at Programming Languages and Tools Lab
JetBrains
September 2018 – May 2022
Formal languages constrained path problems: theory and practical applications in graph databases, Datalog and code analysis (CFL-reachability).
Education
Postgraduate Studies in Theoretical Сomputer Science
Academic University, St. Petersburg
2019 – 2023
MSc in Applied Mathematics & Computer Science
ITMO University, St. Petersburg
2017 – 2019
Research Interests
- AI for Vulnerability Detection/Repair
- Formal Languages
- Application Security (AppSec)
- Graph Neural Networks
- SAST/DAST/SCA
- Graph applications in code analysis
- Fine-Grained Complexity
- AI for code analysis
Selected Publications
-
LAMeD: LLM-generated Annotations for Memory Leak Detection
29th International Conference on Evaluation and Assessment in Software Engineering (EASE), 2025
-
PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine
IEEE/ACM 1st International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering (STATIC), 2025
-
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees
Theory of Computing Systems 68, 487–511, 2024
-
One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries
10.48550/arXiv.2103.14688, 2021
(Co-)Advised Student Projects
-
Improving the accuracy of "dirty file" detection during incremental compilation in Kotlin
Coursework - Leonid Ternopol (2024), SPbSU, VK Education Special Prize Award
-
Compact Abstract Graphs for detecting Java code vulnerabilities with GNN Models
Coursework - Arkady Andreev (2023), SPbSU, VK Education Special Prize Award
-
Fine-grained reductions around CFL-reachability
Master's Thesis - Aleksandra Istomina (2023), SPbSU, co-advised with Semyon Grigorev
-
Integrating taint analysis into the generation of unit tests for software security
Bachelor's Thesis - Olesya Subbotina (2023), HSE