Vadim Mishenev
Software Developer at JetBrains
Cyprus
Summary
🤩
Rockstar🎓
Top SchoolVadim Mishenev is a software developer with seven years of experience, currently working at JetBrains in Cyprus where he contributes to developer tooling and research-driven projects. He has a background in program synthesis and extended the Z3 SMT-solver for functional synthesis during a research stint, reflecting strong formal methods skills. Vadim has production experience in enterprise security from his time at Doctor Web and routinely ships backend improvements and bug fixes. As a notable open-source contributor to Kotlin's Dokka documentation engine, he enhanced annotation rendering, fixed @link/@code handling, and improved code highlighting and type support—work that benefits many Kotlin users. Academically grounded with degrees from Samara Aerospace University and further study in Saint Petersburg, he blends rigorous theory with pragmatic engineering. Colleagues would describe him as a detail-oriented developer who brings correctness-focused thinking to both tooling and product code.
7 years of coding experience
1 year of employment as a software developer
Software Engineer, Software Engineer at Computer Science CenterBachelor's degree, Fundamental Informatics and Information Technology, 5.0, Bachelor's degree, Fundamental Informatics and Information Technology, 5.0 at Самарский Государственный Аэрокосмический УниверситетMaster's degree, Master's degree at Санкт-Петербургский Государственный Университет
Github Skills (7)
kotlin10
api-documentation10
documentation10
annotations10
annotation-processing10
javas8
java8
Programming languages (7)
Github contributions (5)
Kotlin/dokka
Jul 2021 - Jan 2023
API documentation engine for Kotlin
Role in this project:
Back-end Developer & Technical Writer
Back-end Developer & Technical WriterContributions:2 releases, 682 reviews, 207 commits in 1 year 6 months
Contributions summary:Vadim primarily focused on enhancing the Dokka API documentation engine. They added support for numeric, boolean, and nullable types of annotation parameters, significantly expanding the engine's capabilities. Moreover, the user improved the rendering of annotations by adding quotes for string literals and omitting parentheses when there are no parameters. Additionally, they corrected the implementation of `@link` and `@code` tags, while also fixing and improving code highlighting and various formatting issues.
apidokkaapi-documentationkotlinjavadoc
vmishenev/kotlin-web-site
Apr 2021 - May 2023
The Kotlin programming language website
Contributions:10 PRs, 108 pushes, 5 branches in 2 years 1 month
kotlinprogramming-language
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.