Roman Venediktov
Research Software Engineer at JetBrains
Bremen, Bremen, Germany
Summary
🤩
Rockstar🎓
Top SchoolRoman Venediktov is a research software engineer with seven years of experience focused on programming languages, compilers, and runtimes, currently contributing to Kotlin language evolution at JetBrains. He has designed proposals for advanced type system features in Kotlin (GADTs and union/error types) and experimented with set-theoretic types for OCaml, blending theoretical rigor with practical compiler engineering. His work spans low-level systems (migrating a compiler to AMD64) and developer tooling (Kotlin compiler plugins, IntelliJ integrations), showing fluency across languages like Kotlin, C++, TypeScript, and OCaml. Roman pairs industrial experience at JetBrains, Meta, and Huawei with strong academic training toward a planned PhD, signaling deep domain expertise rather than a job search. Colleagues value that he bridges research ideas and shipping implementations—evident in proposals that aim to evolve a mainstream language. Based in Bremen, he’s open to professional connections and collaborative research that push language design into practice.
7 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Applied Mathematics, 8.5/10, Bachelor's degree, Applied Mathematics, 8.5/10 at Higher School of EconomicsMaster's degree, Computer Software Engineering, Master's degree, Computer Software Engineering at Constructor University
Russian, English, German
Github Skills (31)
kotlin10
programming-language10
maven-plugin10
kotlin-library10
intellij-plugin10
compiler10
gradle-plugin10
webassembly10
kotlin-language9
intellij-idea9
evolution9
intellij-platform8
co-simulation8
resharper8
agent-based-modeling8
Programming languages (11)
Github contributions (5)
e2e4b6b7/KtGlean
Apr 2022 - May 2022
Kotlin support in Glean
Contributions:3 reviews, 30 commits, 12 PRs in 1 month
kotlin-supportkotlin-languagekotlingleankotlin-library
HSHelper/HSHelper
Mar 2021 - Jun 2021
Lightweight LMS for HSE programming students
Contributions:2 releases, 2 reviews, 140 commits in 3 months
lmshse
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.