Anatoliy Bilenko
Staff Engineer - Office Of The CTO at Canonical
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 (53)
fst10
verilog10
tla10
sqlite10
viewer10
4g10
gtkwave10
vcd10
fault-tolerant10
waveform10
raft10
vagrant10
sql-engine10
database10
model-checking9
Programming languages (9)
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 - Jun 2025
Observatory, a cross-platform matplotlib-based observability tool
Contributions:7 releases, 1 review, 8 PRs in 1 year 4 months
matplotlibobservability
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.