Azat Abdullin
Software Developer Kotlin at JetBrains
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolAzat Abdullin is a software developer and researcher with a decade of experience specializing in JVM bytecode analysis, concolic testing, and automatic test generation. He built and maintains Kex, a platform for JVM bytecode analysis, and has contributed to tools like Borealis and UTBotJava, including SMT-based JUnit synthesis and a JVM control-flow API. A PhD candidate and former teaching assistant at Peter the Great St. Petersburg Polytechnic University, he combines rigorous academic research with applied engineering at JetBrains and Huawei. Based in Amsterdam, he recently transitioned into a Kotlin-focused developer role at JetBrains, bringing deep program-analysis expertise to language and tooling work. Colleagues know him for turning formal methods into practical developer tools that scale from research prototypes to production-grade integrations.
10 years of coding experience
7 years of employment as a software developer
Master's degree, Computer Software Engineering, Master's degree, Computer Software Engineering at Peter the Great St.Petersburg Polytechnic University
Russian, English
Github Skills (46)
kotlin10
jvm-bytecode10
ssa10
java-bytecode10
java10
bytecode10
symbolic-execution10
dfa10
intellij9
evolutionary9
evolutionary-algorithms9
intellij-plugin9
git-mirror9
ide8
abstract-syntax-tree7
Programming languages (5)
Github contributions (5)
vorpal-research/kex-intrinsics
Mar 2021 - May 2024
Contributions:10 releases, 5 PRs, 18 pushes in 3 years 1 month
vorpal-research/kex
Feb 2018 - Feb 2023
A platform for analysis of Java bytecode
Contributions:10 releases, 36 reviews, 1450 commits in 5 years
symbolic-executionjvm-bytecodeconcolic-testingautomated-testinganalysis
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.