Michel Zinin
Senior Software Engineer at Nebius
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolMichel Zinin is a pragmatic Senior Software Engineer with 18 years' experience building high-performance backend systems across domains from embedded automotive navigation to distributed web services. He has a track record of designing systems from scratch, modernizing legacy codebases, and leading small teams at companies like Booking.com, TomTom, Huawei and Mail.Ru, where he introduced practices such as mandatory code reviews and delivered significant performance wins (e.g., a routing server up to 10x faster). Deeply technical across C++, Go, Python and Java, he combines algorithmic expertise (PhD-level) with hands-on delivery in CI/CD and production operations. Michel is comfortable moving between research-proof-of-concept work and production-grade engineering, and he’s contributed to 20+ projects and 10+ scientific publications—an unusual blend of academic rigor and pragmatic shipping. Based in Amsterdam, he’s as likely to optimize routing algorithms for mobile devices as to streamline internal tooling that saves hours of manual work.
18 years of coding experience
16 years of employment as a software developer
Master of Science (M.Sc.) Applied mathematics and informatics, Master of Science (M.Sc.) Applied mathematics and informatics at Saratov State University named after N.G.ChernyshevskyLomonosov Moscow State University
Russian, English, Dutch
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (21)
resolutions9
interpreted-programming-language8
polynomials7
symbolic-computation7
mathematics7
cas6
slave6
algebra5
macaulay25
geometry5
computer-algebra-system4
math4
groebner-basis4
projective-geometry4
queue3
Programming languages (3)
Github contributions (5)
mzinin/ts_splitter
Nov 2017 - Apr 2019
Contributions:24 commits, 26 pushes, 1 branch in 1 year 5 months
mzinin/groebner_benchmarks
Jun 2010 - Aug 2019
Contributions:14 commits, 4 pushes, 1 branch in 9 years 3 months
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.