Leonard Lys
PhD Candidate
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolLeonard Lys is a PhD candidate and blockchain protocol designer based in Paris with eight years of software engineering experience focused on distributed systems and blockchain interoperability. He researches, designs, and formally proves correctness of cross-chain protocols, blending rigorous academic methods from Sorbonne Université with practical development work at PALO-IT. Trained as an engineer (ECE Paris) with international studies in Chile and Mexico, he brings a multicultural perspective to complex systems engineering. Known for pairing formal proofs with implementable designs, he translates theoretical guarantees into production-ready protocol specifications.
8 years of coding experience
Doctor of Philosophy - PhD, Distributed systems, PhD, Doctor of Philosophy - PhD, Distributed systems, PhD at Sorbonne UniversitéLicence, Ingenieria informatica, Licence, Ingenieria informatica at Tecnológico de MonterreyDiplôme d'ingénieur, Information Technology, Diplôme d'ingénieur, Information Technology at ECE ParisMaster 2 (M2), Information Technology, Master 2 (M2), Information Technology at Universidad Nacional Andrés Bello
French, English, German, Spanish
Stackoverflow
1reputation
71reached
1answer
1question
Github Skills (17)
cryptocurrency7
blockchain7
html6
parsing6
java6
jsoup6
web-crawler6
golang5
go5
exchange5
cosmos-sdk5
atomic-swap5
bitcoin4
tendermint4
full-stack4
Programming languages (3)
Github contributions (5)
leoloco/Two-Phase-Commit-Atomic-Cross-Chain-Swap
May 2020 - Apr 2021
Contributions:15 commits in 10 months
leoloco/BTC-ETH_HTLC
Apr 2020 - Jul 2020
Contributions:3 commits in 2 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.