Anatoliy Bilenko
Staff Engineer - Office Of The CTO at techsum
Poland
Summary
🤩
Rockstar🎓
Top SchoolAnatoliy Bilenko is a Staff Engineer and Office of the CTO leader at Canonical with a decade of deep experience building and verifying distributed storage and consensus systems. He leads development of dqlite and runs company-wide initiatives in performance and correctness, including a PerCorr academy and hiring program that blend engineering practice with formal methods. A PhD in performance optimization for reconfigurable computing underpins his rigorous use of TLA+, formal specification, and performance modeling to design auditable algorithms. He also founded techsum to provide correctness audits and advance consensus/RSM research outside of product constraints. Prior roles span distributed storage at Seagate, telecom core work at Nova Labs, and embedded and multimedia engineering earlier in his career—bringing both low-level systems depth and large-scale distributed systems breadth. Colleagues know him as a practical formalist: equally comfortable proving properties on paper and shipping resilient storage for Kubernetes.
10 years of coding experience
20 years of employment as a software developer
Doctor of Philosophy - PhD Methods of performance increase in reconfigurable computing systems, Doctor of Philosophy - PhD Methods of performance increase in reconfigurable computing systems at Odessa Polytechnic National University
English, Russian, Ukrainian
Github Skills (75)
mass10
freedesktop10
wave10
waveform10
5g10
gtkwave10
database10
sqlite10
4g10
consistency10
embeddable10
fault-tolerant10
raft10
fault10
viewer10
Programming languages (7)
Github contributions (5)
just-now/favt
Mar 2016 - Jun 2023
Contributions:1 push, 2 branches in 7 years 3 months
just-now/chronoscope
Jan 2024 - Nov 2024
Observatory, a cross-platform matplotlib-based observability tool
Contributions:6 releases, 1 review, 8 PRs in 9 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.