Alexander Manzyuk
Principal Software Engineer at Avvail
Krakow, Lesser Poland Voivodeship
Summary
🤩
Rockstar🎓
Top SchoolAlexander Manzyuk is a Principal Software Engineer with 15 years of experience building and modernizing large-scale web platforms, currently leading AI-driven delivery and full-stack architecture from Krakow. He blends pragmatic engineering principles (KISS, DRY, SOLID, XP, Kaizen) with domain-driven and service-oriented design to create maintainable microservices and Rails/Turbo frontends that ship quickly and reliably. At Avvail he established an AI-first engineering lifecycle that automates spec generation, implementation, review, and CI feedback, enabling product-led delivery and drastically accelerating feature throughput. Previously he led teams modernizing legacy systems, improving performance to O(1) hotspots, and delivering complex features at Autodesk, Appsberry, and Kaseya while maintaining hands-on craftsmanship. An active contributor to formal mathematics tooling (significant backend contributions to Lean 3 mathlib3), he combines rigorous formal thinking with practical product delivery.
15 years of coding experience
20 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Sevastopol State Technical University
English, Russian, Ukrainian, Polish
Stackoverflow
594reputation
197kreached
2answers
0questions
audio
top-5%
Github Skills (12)
category-theory10
mathematics10
theorem-proving10
proofs10
proof10
math10
leanback10
maths10
audio9
javascript6
jquery6
ruby6
Programming languages (7)
Github contributions (5)
leanprover-community/mathlib3
Apr 2022 - Oct 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:19 reviews, 5 commits, 5 PRs in 6 months
Contributions summary:Alexander contributed significantly to the `mathlib3` library, primarily focusing on formalizing mathematical concepts using Lean 3. Their work involved defining monoidal structures, including cartesian products of monoidal categories and functors, and defining monoidal structures on functors within the category theory framework. Furthermore, the user implemented the monoidal structure for the tensor product functor of a braided monoidal category and proved related lemmas, which support the construction of the monoidal structure on the category of monoids.
maththeorem-provingcomponents-librarymathematicsjavascript
manzyuk/blog
Oct 2012 - Aug 2014
Contributions:17 commits in 1 year 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.