Michail Zarečenskij
Lead Language Designer at JetBrains
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolMichail Zarečenskij is a language designer and engineering leader with 13 years of experience shaping Kotlin—from rewriting core type inference to leading compiler, IDE and language evolution efforts at JetBrains and the Kotlin Foundation. Based in Amsterdam, he combines deep compiler theory and pragmatic productization, shepherding features through design, implementation, testing and ecosystem adoption. His hands-on contributions to the flagship Kotlin repository include advanced type-inference work, bug fixes, and strengthening test infrastructure for the bundled compiler. As a former university teacher, he brings clarity to language specification and documentation, and he’s known for tackling subtle backward-compatibility challenges that few engineers volunteer to own.
13 years of coding experience
8 years of employment as a software developer
Master of Science (M.S.), Computer Science, Master of Science (M.S.), Computer Science at Saint Petersburg State UniversityGraduate Student, Computer Software Engineering, Graduate Student, Computer Software Engineering at Computer Science CenterPhysics, Mathematics, Physics, Mathematics at Academic Gymnasium named D.K. Faddeev
Github Skills (12)
kotlin10
type-inference10
compiler-development10
testing10
java9
javas9
gradle-plugin8
algorithms8
data-structures8
algorithm8
intellij-plugin8
data-structure8
Programming languages (4)
Github contributions (5)
JetBrains/kotlin
Mar 2014 - Jan 2023
The Kotlin Programming Language.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:2 releases, 5 reviews, 3159 commits in 9 years
Contributions summary:Michail primarily contributed to the Kotlin compiler project. Their work involved implementing features related to type inference, including self-types and handling unresolved types with type arguments. They also fixed bugs and improved code quality, such as restoring fixes from other repositories and addressing issues with collections in the dependency injection system. Furthermore, the user enhanced the testing infrastructure by adding tests for the bundled compiler and for cases involving enum entries.
maven-plugincompilerkotlinintellij-pluginprogramming-language
Kotlin/kotlin-eclipse
Apr 2013 - Nov 2021
Kotlin Plugin for Eclipse
Contributions:9 releases, 2437 commits, 46 PRs in 8 years 8 months
kotlinjavaeclipse
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.