Miguel Castellanos
Senior Cryptography Engineer at Input Output (IOHK)
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolMiguel Castellanos is a Senior Cryptography Engineer at Input Output (IOHK) with a decade of experience designing and implementing SNARKs and other advanced cryptographic primitives. His career bridges deep academic research—PhD in Cryptography with Cum Laude distinction and postdoctoral work at IMDEA and NTT—with hands-on engineering at Nomadic Labs and IOHK, where he focuses on PlonK-based constructions. Miguel’s background in automated analysis of cryptographic constructions informs a practical, security-first approach to building provable protocols for blockchain and privacy-preserving systems. Based in Madrid, he combines mathematical rigor from a strong engineering education with production-grade implementation experience, and his wry GitHub bio hints at a thoughtful, philosophical perspective on deterministic systems.
10 years of coding experience
8 years of employment as a software developer
Master of Science - MS, Mathematical Engineering, Master of Science - MS, Mathematical Engineering at Universidad Complutense de MadridDoctor of Philosophy - PhD, Software, Systems and Computing, Cum Laude Distinction, Doctor of Philosophy - PhD, Software, Systems and Computing, Cum Laude Distinction at Universidad Politécnica de Madrid
Github Skills (12)
chess10
sequence10
player10
analyzer9
scala9
lichess9
mongodb9
typescript9
nodejs9
functional-programming9
procedure8
rust2
Programming languages (6)
Github contributions (5)
miguel-ambrona/miguel-ambrona.github.io
Mar 2020 - Sep 2024
Contributions:57 pushes, 1 branch in 4 years 7 months
generic-group-analyzer/gga-unbounded
Mar 2016 - Jul 2024
Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.
Contributions:1 review, 1 PR, 14 pushes in 8 years 5 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.