Andrey Lyashin
Chief Technology Officer at Pruvendo
Tbilisi, Georgia
Summary
👤
Senior🎓
Top SchoolAndrey Lyashin is a technology leader and co-founder serving as CTO of Pruvendo, with 11+ years of experience building formal verification tools and deploying them in production. He created Ursus, an embedded DSL and automated formal-verification toolkit that translates Solidity, Rust and FunC into Coq proofs to deliver mathematically guaranteed smart-contract correctness, cutting debugging and support costs. Over five years Ursus has been battle-tested in commercial deductive verification engagements for dozens of clients, including industrial leaders. His background blends deep academic training (PhD-level work in theoretical and condensed-matter physics) with hands-on systems engineering from autonomous-transport to science-intensive manufacturing. Andrey uniquely combines mathematical rigor with product-minded execution, leveraging AI-assisted proof automation to make formal methods practical for blockchain projects. Based in Tbilisi, he bridges research, startup strategy and operational delivery across deep-tech ecosystems.
11 years of coding experience
14 years of employment as a software developer
Phys-math lyceum 239PhD student, Theoretical physics, PhD student, Theoretical physics at Freie Universität BerlinDoctor of Philosophy - PhD, Condensed Matter and Polymer Physics theory, Doctor of Philosophy - PhD, Condensed Matter and Polymer Physics theory at SPbSU/СПбГУ
Russian, English, German, Spanish
Github Skills (17)
blockchain9
interpreter8
func7
compiler7
version-control6
docker6
layer25
ton5
chain5
git4
cryptography4
ethereum4
smart-contracts3
scalable3
consensus3
Programming languages (4)
Github contributions (5)
andruiman/json-coq
Jul 2019 - Oct 2020
Contributions:30 pushes, 7 issues in 1 year 3 months
andruiman/blog
Aug 2022 - Sep 2022
Contributions:51 pushes, 1 branch in 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.