Roman Konstantinovskiy
Senior Software Engineer at Microsoft
Prague, Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolRoman Konstantinovskiy is a Senior Software Engineer with nine years of experience building scalable cloud-native microservices and reliable data pipelines, currently focused on AI-driven multi-agent systems at Microsoft. He has taken projects from PoC to production using Docker, Kubernetes, Azure, OpenAI and Semantic Kernel, and combines that with deep data engineering skills in PySpark, Synapse, Data Lake and Kusto. Known for rigorous engineering discipline—SOLID design, layered testing, CI/CD and comprehensive observability—he routinely automates and sharpens incident processes through forensic analysis. Roman pairs hands-on implementation with cross-team ownership and clear communication, empowering teams to deliver on ambiguous, high-impact problems. His open-source contributions include formal-verification work on the Idris dependently-typed language, reflecting a rare blend of practical systems engineering and mathematical rigor. Based in Prague, he brings a PhD-level analytical mindset to product-focused software delivery.
9 years of coding experience
15 years of employment as a software developer
Doctor of Philosophy (PhD), Plasma physics, Doctor of Philosophy (PhD), Plasma physics at Московский Государственный Университет им. М.В. Ломоносова (МГУ)
English, Russian
Stackoverflow
4,298reputation
1.2mreached
88answers
28questions
Github Skills (19)
formal-verification10
idris10
functional-programming10
asp-net-core9
type-theory9
netcore9
theorem-proving9
datastructures-algorithms8
data-structures8
data-structure8
algorithms8
algorithm8
wpf6
callback6
pinvoke6
Programming languages (9)
Github contributions (5)
idris-lang/Idris-dev
Sep 2018 - Nov 2018
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:5 commits, 8 PRs, 1 comment in 2 months
Contributions summary:Roman primarily contributed to the Idris programming language's core library by adding new interfaces and proving theorems about them. They implemented `VerifiedMonad` and `VerifiedAlternative` interfaces along with relevant proofs, demonstrating a focus on formal verification. Furthermore, the user added properties for `Data.Fin` and `Data.Nat` modules, which contribute to the development of a dependently typed language. Their contributions center on enhancing the language's type system and mathematical foundations.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
stop-cran/ZabbixSender.Async
Dec 2018 - Jan 2023
Provides tools to asynchronously send data to Zabbix.
Contributions:6 releases, 24 commits, 5 PRs in 4 years 2 months
asynchronouslyasynchronouszabbixasync
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.