I work best where the problem is still becoming clear.
I am a software engineer focused on code analysis, developer tools, and language tooling. My work sits close to compilers: parsers, static analyzers, intermediate representations, diagnostics, code metrics, and tools that help teams understand and improve complex codebases.
Current Focus
Recent work includes symbolic program synthesis, C# static analysis with Roslyn, parser tooling, clone detection, and compiler infrastructure. I am also developing Folk, an experimental Rust language project around ownership, correctness, typed syntax nodes, and diagnostics.
I am growing my security knowledge through PortSwigger labs and bug bounty practice, with the long-term goal of connecting program analysis, correctness, and security tooling.
How I Work
I prefer ownership over narrow ticket handoff. I try to understand the domain, choose the right abstraction, build, test, document, and keep the result understandable.
I like problems with unclear requirements, difficult trade-offs, and enough depth to require careful engineering before implementation.
Outside Of Work
I build my own tools, explore compiler and correctness ideas, learn security, and write about engineering topics that interest me.
I speak Ukrainian, Russian, English, German, and Dutch, and I enjoy learning more. I also swim, play guitar, sing, and occasionally get far too invested in games like Team Fortress 2.
Volunteering
I volunteer with Decolonization.Ukraine, which inventories the Soviet and Russian imperial legacy still standing in Ukraine for removal under the 2015 and 2023 decolonization laws. I communicate with the oblasts, Ukraine's regions, and compare what they report.
In Hamburg I visit a local care home, PFLEGEN & WOHNEN Moosberg, and spend time with residents who otherwise have no visitors. We usually talk in German, watch TV, and play games.
Experience
2023-12 / Present
Qt Group
🇩🇪 Hamburg, Germany · Hybrid
Software Engineer: C# Static Code Analysis
Built and maintained C# and Rust static-analysis infrastructure for the Axivion suite using Roslyn and rust-analyzer.
Show detailsHide details
Extended the C#-to-IR compiler with support for 100+ language features and constructs introduced across 10 versions, from C# 5 through C# 14.
Designed and evolved a multilevel C# clone detector using normalized AST hashing and specialized data structures.
Built a reusable, flow-sensitive taint-analysis engine over Roslyn control-flow graphs and delivered 18 CWE-aligned dataflow checks based on it.
Implemented static validation of C#/native ABI compatibility and P/Invoke declarations for cross-language static analysis.
Expanded Rust semantic modeling with 23 software metrics, 5 language-feature families, 4 additional node kinds, and 6 semantic-relation types.
Maintained rust-analyzer integration through two breaking API-update cycles, adapting semantic analysis, metrics, ABI handling, name mangling, and graph-generation components.
Improved analyzer scalability by parallelizing independent C# parsing and style-check stages while preserving deterministic output.
2023-06 / 2023-10
Coginiti
🇺🇦 Ukraine · Remote
Software Engineer: Parser & Language Tooling
Developed parsing and editor tooling for 10 SQL dialects and the proprietary CoginitiScript language.
Show detailsHide details
Developed and maintained modular Tree-sitter parsers for 10 SQL dialects and CoginitiScript template language.
Built editor-facing language features including completion, formatting, refactoring, and hover information.
Helped design a template-processing system that supported SQL dialects inside CoginitiScript syntax.
Implemented parser and tooling changes primarily in Java, resolving grammar, compatibility, and language-design problems.
Supported Java-to-native interoperability and cross-platform library distribution.
2022-05 / 2022-10
Luxoft
🇺🇦 Ukraine · Remote
Software Engineer: Static Code Analysis
Worked on language-analysis infrastructure for a Fortify code-analysis platform supporting more than 20 programming languages.
Show detailsHide details
Developed parsers, analyzers, source generators, and intermediate-language components for C# and SQL.
Implemented language support using C#, Java, Roslyn, ANTLR, and JavaCC.
Contributed to an intermediate representation used to normalize and analyze code from multiple supported languages.
Owned substantial features inside a large multi-language analyzer codebase, emphasizing maintainability and cross-language compatibility.
2020-07 / 2021-10
CompatibL
🇺🇦 Ukraine · Remote
Quantitative Software Developer: C#/.NET
Developed C#/.NET banking software combining quantitative functionality with backend and product engineering.
Show detailsHide details
Implemented and maintained forecasting, prediction, and contract-management functionality for banking applications.
Translated quantitative and financial requirements into production C#/.NET software.
Built application and service components using ASP.NET Core, Entity Framework Core, and microservice-oriented architecture.
Worked with SQL Server, MongoDB, and Redis across data-processing and application workflows.
Collaborated with quantitative specialists and software engineers to deliver reliable production functionality.
2019-11 / 2020-04
Freelance
🇺🇦 Ukraine · Remote
C/C++ Systems Software Developer
Developed low-level C/C++ components for a distributed, high-throughput logging system on Linux.
Show detailsHide details
Worked with APR, OpenSSL, Wireshark, and related networking and security tooling, with emphasis on reliability and code quality.
Start of my career
Education
2022-09 / 2023-06
University of Twente
🇳🇱 Enschede, Netherlands
Master’s studies, Computer Science
Completed one academic year of MSc studies in Computer Science at the University of Twente. After reassessing my priorities, I chose to return to full-time software engineering and focus on commercial product development. The experience strengthened my interest in research, and I remain open to pursuing a PhD later in my career.
2022-10 / 2023-12
Uman State Pedagogical University of Pavlo Tychyna
🇺🇦 Uman, Ukraine
Master's degree, Informatics
2017-09 / 2021-06
National Technical University of Ukraine 'Kyiv Polytechnic Institute'