Semyon Naumov
Software Developer at JetBrains
Munich, Bavaria, Germany
Summary
🤩
Rockstar🎓
Top SchoolSemyon Naumov is a Java-focused software developer with 12 years of experience building reliable backend systems and migrating legacy platforms to modern architectures. Based in Munich, he has driven performance and complexity reductions at scale—cutting loan offer calculation times dramatically at Sberbank and modernizing a large Spring monolith into a REST-first React ecosystem. He contributes to notable open-source work on python/typeshed, improving type stubs for core modules and PEP compatibility, which reflects strong attention to correctness and cross-language interoperability. At JetBrains and previous roles he’s implemented concurrent, data-intensive solutions and designed fluent APIs and libraries that reduce boilerplate and make business logic safer and more dynamic. Detail-oriented and curious, he blends applied-math training from MIPT with pragmatic engineering to tackle distributed systems and algorithmic challenges.
12 years of coding experience
4 years of employment as a software developer
Master's degree, Applied Mathematics and Computer Science, Master's degree, Applied Mathematics and Computer Science at Moscow Institute of Physics and Technology (State University) (MIPT)
Russian, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (16)
dynamic-typing10
type-system10
optional-typing10
typescript10
static-typing10
typesc10
strong-typing10
python10
implicit-typing10
stub10
stubs10
datetimes9
builtin9
datetime9
pathlib8
Programming languages (7)
Github contributions (5)
python/typeshed
Mar 2017 - Oct 2018
Collection of library stubs for Python, with static types
Role in this project:
Back-end Developer
Back-end DeveloperContributions:31 commits, 24 PRs, 54 comments in 1 year 7 months
Contributions summary:Semyon primarily contributed to the `python/typeshed` repository by updating and maintaining type stubs for the Python standard library and third-party libraries. Their work focused on ensuring the accuracy and completeness of type annotations, specifically for modules like `datetime`, `os`, `pathlib`, `builtins`, and `itertools`. The contributions addressed compatibility issues related to PEP standards, such as PEP-519, and added functionality for newer Python versions. These updates enhanced the static typing capabilities of Python code using these libraries.
mypystatic-typingpythonstubtypechecker
JetBrains/typeshed
Mar 2017 - Mar 2022
Collection of library stubs for Python, with static types
Contributions:89 pushes, 53 branches in 5 years 1 month
mypypythonstubspython3static-types
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.