Anzhela Sukhanova
QA Engineer at JetBrains
Paphos Municipality, Cyprus
Summary
👤
Senior🎓
Top SchoolAnzhela Sukhanova is a QA Engineer with nine years of experience, currently contributing to the Kotlin Compiler team at JetBrains with a focus on Kotlin Common Backend and Kotlin/JS. Her background blends research and industry roles—from fuzzing fixpoint solvers during a JetBrains internship to engineering positions at YADRO and Huawei—giving her strong foundations in program analysis and systems testing. She excels at building robust QA processes for compilers and language tooling, applying research-driven techniques to catch subtle correctness issues. Based in Paphos, Cyprus, she brings an international perspective to cross-team collaboration and quality assurance. Colleagues know her for combining academic rigor from her software engineering degree with practical, production-focused testing strategies.
8 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Software engineering, Bachelor's degree, Software engineering at Санкт-Петербургский Государственный УниверситетSaint Petersburg Lyceum 239
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (28)
solver9
theorem9
fuzzer7
prolog7
dfa7
smt7
kotlin7
fuzzing6
api6
checker6
sat6
quantifiers6
verification6
java6
xor6
Programming languages (8)
Github contributions (5)
AnzhelaSukhanova/z3
Dec 2021 - Jun 2023
The Z3 Theorem Prover
Contributions:65 pushes in 1 year 5 months
provertheoremtheorem-provertheorem-provingsat-solver
AnzhelaSukhanova/HornFuzz
Jul 2021 - Feb 2023
CHC solver fuzzer
Contributions:276 commits, 28 PRs, 319 pushes in 1 year 7 months
fuzzersolverfuzzingchc-solver
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.