Mikhail Chernyavsky
Software Developer at JetBrains
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolMikhail Chernyavsky is a senior software developer with 10 years of experience, currently building developer tools and AI-assisted workflows at JetBrains in Berlin. He specializes in IDE integration for Rust—covering tooling, type inference (including const generics and async), code completion, auto-imports, and remote development support (SSH, Docker, WSL). His background spans concurrency and systems work (lock-free Java structures, pthreads deadlock fixes) and contributions to widely used open-source projects like the IntelliJ Rust plugin. Mikhail also has a teaching pedigree in Python and Unix and a history of research tooling (Arend theorem prover support) that reflects a strong blend of practical engineering and formal methods. He combines deep low-level multithreading experience with a developer-product focus, often surfacing subtle runtime and IDE integration issues before they reach users.
10 years of coding experience
1 year of employment as a software developer
Master's degree, Computer Software Engineering, Master's degree, Computer Software Engineering at St. Petersburg Academic University of the Russian Academy of SciencesProfessional retraining, Computer Software Engineering, Professional retraining, Computer Software Engineering at Computer Science CenterBachelor's degree, Computer Software Engineering, Bachelor's degree, Computer Software Engineering at ITMO University
Russian, English, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
c-language10
multithreading10
java10
javas10
code-analysis10
rust10
cprogramming-language10
concurrency10
testing9
data-structure9
algorithm9
algorithms9
pthread9
pthreads9
const-generics9
Programming languages (10)
Github contributions (5)
intellij-rust/intellij-rust
Jul 2018 - Jan 2023
Rust plugin for the IntelliJ Platform
Role in this project:
Back-end Developer
Back-end DeveloperContributions:385 reviews, 623 commits, 449 PRs in 4 years 7 months
Contributions summary:Mikhail primarily contributed to the development of the IntelliJ Rust plugin, focusing on features related to code analysis and completion. They implemented functionality to analyze code, identify and report errors, and suggest fixes, including automatic imports and const generics. Additionally, the user worked on incorporating a testing framework.
intellij-platformrustclionintellij-pluginjetbrains
eugenyk/hpcourse
Sep 2017 - Jan 2018
Repository to store student's practical works on high performance computing course
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits, 1 PR, 3 comments in 3 months
Contributions summary:Mikhail primarily worked on implementing concurrent data structures and addressing concurrency issues in a high-performance computing context. They implemented a lock-free set using Java, demonstrating experience with concurrent programming. Additionally, the user fixed a deadlock issue in a producer-consumer problem implemented using pthreads in C++, showcasing problem-solving skills in multithreaded environments.
high-performance-computingpracticalperformancecomputingpractical-works
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.