Dmitry Petrov
Senior Staff Software Engineer at Syntacore
Saint Petersburg, Saint Petersburg, Russia
Summary
🤩
Rockstar🎓
Top SchoolDmitry Petrov is a Senior Staff Software Engineer with 11+ years building compilers, programming tools, and verification flows, currently focusing on tooling for RISC-V microprocessors at Syntacore. He spent seven years on the Kotlin compiler at JetBrains, contributing to the JVM IR backend and nontrivial optimizations such as function reference handling and nullability-aware code generation for a widely used language. His background includes architecture exploration and high-level synthesis tools at Intel Labs and early work on C/C++ compilers at Elbrus MCST, giving him deep end-to-end expertise across both hardware-aware toolchains and language runtimes. Known for pragmatic problem-solving, he blends research-grade static analysis and source-to-source transformations with production compiler engineering. Based in Saint Petersburg, he holds an MSc in Computer Science and brings a rare combination of language-design insight and low-level systems experience.
11 years of coding experience
20 years of employment as a software developer
MSc Computer science, MSc Computer science at Saint Petersburg State University
Russian, English
Github Skills (7)
kotlin10
code-optimization10
jvm10
interoperability9
compiler-design9
java5
javas5
Programming languages (6)
Github contributions (5)
JetBrains/kotlin
Jun 2015 - Mar 2022
The Kotlin Programming Language.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 61 reviews, 2716 commits in 6 years 10 months
Contributions summary:Dmitry contributed to the development of the Kotlin Programming Language, focusing on improving the JVM IR backend. Their work involved adding functionality, resolving issues, and optimizing compiler code, specifically related to function references and data processing of different types. The user's contributions included the implementation of functionalities like support for handling nullability and handling code optimization.
maven-plugincompilerkotlinintellij-pluginprogramming-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.