Vadim Vinnik
Ведущий Инженер-программист at Regula
Minsk, Belarus
Summary
👤
Senior🎓
Top SchoolVadim Vinnik is a Ph.D.-educated software engineer and lecturer with over two decades of practical programming experience and 11 years in industry roles, currently serving as a lead engineer at Regula. He combines deep systems-level C/C++ expertise (Qt, Boost, WinAPI) with formal-methods research in mathematical logic and program semantics, bringing rigorous specification and verification thinking into production engineering. Vadim has led teams building backup and recovery systems at several enterprises and taught university courses on programming foundations and formal methods for nine years, even authoring a C++ textbook. Based in Minsk, he blends academic curiosity with hands-on delivery, and his long-term interest in Haskell and formal models signals a rare mix of functional-programming perspective alongside industrial C-family pragmatism.
11 years of coding experience
14 years of employment as a software developer
specialist, specialist at Zhitomir State Technological Universitycandidate of sciences (= Ph.D.), candidate of sciences (= Ph.D.) at Kyiv National Taras Shevchenko University
German, English, RussianProgramming languages (2)
Github contributions (5)
vadimvinnik/multi-trie
Jul 2015 - Nov 2016
Contributions:207 commits, 72 pushes, 5 branches in 1 year 4 months
vadimvinnik/async_notification
Aug 2019 - Aug 2023
Flexibly configurable asynchronous notification engine
Contributions:1 release, 1 review, 6 pushes in 4 years 1 month
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.