Victor Petukhov
Principal Software Engineer at BellSoft
Kazakhstan
Summary
🤩
Rockstar🎓
Top SchoolVictor Petukhov is a Principal Software Engineer with nine years of experience specializing in programming languages and compiler development, currently working at BellSoft. He has driven core Kotlin compiler improvements at JetBrains—fixing type parameter erasure, Java annotation handling, and advancing type inference and code generation—which reflects deep expertise in type systems and compiler internals. Victor progressed from QA to technical lead roles at JetBrains and later led language-research efforts at Huawei’s programming languages lab, demonstrating both hands-on engineering and leadership in language toolchains. He holds a master's in Mathematics and Computer Science from ITMO University, combining formal rigor with practical implementation skills. Based in Kazakhstan, he blends open-source collaboration on high-profile projects like the Kotlin repository with enterprise-grade engineering at major language and JVM-focused vendors. A less obvious strength is his track record of moving between QA, development, and technical leadership, giving him a rare end-to-end perspective on compiler quality and delivery.
9 years of coding experience
11 years of employment as a software developer
Master's degree Mathematics and Computer Science, Master's degree Mathematics and Computer Science at ITMO University
Stackoverflow
101reputation
1kreached
2answers
0questions
Github Skills (10)
kotlin10
type-inference10
compiler-development10
java-annotations9
compatibility6
spring-webflux6
apache-beam6
project-reactor6
intellij-idea6
java6
Programming languages (7)
Github contributions (5)
JetBrains/kotlin
Aug 2018 - Jul 2022
The Kotlin Programming Language.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:25 reviews, 1230 commits, 14 PRs in 4 years
Contributions summary:Victor primarily contributed to the Kotlin programming language repository, specifically by addressing issues related to type parameter erasure and handling of Java annotations within the compiler. Their commits involved code changes in core modules, including fixes for the Java type resolver, class descriptor, and improvements to how type arguments are handled in several compilation stages. Furthermore, the user worked on the compiler's type checking infrastructure, introducing improvements to how code is generated with the help of the new type inference algorithms.
maven-plugincompilerkotlinintellij-pluginprogramming-language
Kotlin/kotlin-spec
Aug 2018 - Jul 2022
Kotlin Language Specification:
Contributions:2 releases, 2 reviews, 181 commits in 3 years 11 months
kotlinspecificationspecification-languagekotlin-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.