Roman Kholin
Software Developer at Lomonosov Moscow State University (MSU)
Moscow, Moscow City, Russia
Summary
👤
Senior🎓
Top SchoolRoman Kholin is a C++ software developer with 11 years of experience combining rigorous academic training—a PhD track in Mathematics and Computer Science from Lomonosov MSU—with hands-on engineering roles at Huawei, Yandex and Samsung-backed research. He specializes in algorithms, data structures, combinatorial optimization and discrete mathematics, applying theoretical depth to practical systems and research projects. At MSU he continues contributing as a junior researcher while shipping production software at Huawei, evidencing a rare blend of research rigor and industry delivery. Known for tackling complex optimization problems, he brings strong analytical instincts to performance-critical and algorithm-heavy codebases. Based in Moscow, he thrives at the intersection of academia and enterprise software, often translating formal methods into efficient, maintainable C++ implementations.
11 years of coding experience
1 year of employment as a software developer
Lomonosov Moscow State University
Stackoverflow
1reputation
0reached
0answers
0questions
Programming languages (2)
Github contributions (5)
RomanKholin94/Boolean-satisfiability-problem-and-application
Oct 2021 - Dec 2024
Master's course on solvers and applications
Contributions:31 PRs, 33 pushes, 36 branches in 3 years 2 months
solversmaster
RomanKholin94/CurriculumVitae
May 2019 - Oct 2021
Contributions:2 pushes, 1 branch in 2 years 5 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.