Alejandro Ranchal-pedrosa
Senior Protocol Researcher at Sei Labs
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolAlejandro Ranchal-pedrosa is a Senior Protocol Researcher with 11 years of experience specializing in blockchain protocol design, formal verification and scalable distributed systems. He holds a PhD in Blockchain Technologies and has driven research and implementation at Protocol Labs, Scroll and now Sei Labs, delivering designs for Filecoin scaling (vertical BFT modules and L2+ subnets) and a state machine replication framework with reference implementations. Comfortable moving from formal proofs to production code, he combines academic rigor from institutions across Europe and Australia with hands-on engineering in industry-grade crypto networks. Based in Madrid, he has a strong foundation in mathematics and networking and a track record of translating novel consensus and IPC ideas into audited, deployable systems. An under-the-radar strength is his ability to span both L1 and L2 concerns—optimizing data availability and cross-chain IPC while keeping practical implementation and auditability front of mind.
11 years of coding experience
3 years of employment as a software developer
Master's degree Computer Systems Networking and Telecommunications, Master's degree Computer Systems Networking and Telecommunications at Sorbonne UniversitéThe University of SydneyMaster's degree Internet Technologies and Architecture (ICT Innovation), Master's degree Internet Technologies and Architecture (ICT Innovation) at Technische Universität BerlinBachelors' degree Mathematics and Computer Science, Bachelors' degree Mathematics and Computer Science at Universidad Politécnica de MadridMaster's degree Innovation & Entrepeneurship, Master's degree Innovation & Entrepeneurship at EIT Digital AcademyErasmus (Master in Computer Science & Mathematics) Mathematics and Computer Science, Erasmus (Master in Computer Science & Mathematics) Mathematics and Computer Science at University of Bristol
English, French, German, Spanish
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (37)
lightning10
wallet10
lightning-network10
peer-to-peer10
bitcoin10
cryptocurrency10
cryptography10
blockchain10
daemon10
ethereum9
golang9
filecoin9
spec6
p2p5
compliance5
Programming languages (8)
Github contributions (5)
ranchalp/go-f3
Dec 2023 - Feb 2024
Simulator for Granite consensus and Fast Finality in Filecoin (F3)
Contributions:145 pushes, 18 branches in 2 months
ranchalp/mir
Nov 2022 - Sep 2023
Contributions:178 pushes, 62 branches in 10 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.