Javier Tamayo
Senior Haskell Software Engineer at Input Output (IOHK)
Madrid, Community of Madrid, Spain
Summary
🤩
Rockstar🎓
Top SchoolJavier Tamayo is a Senior Haskell Software Engineer with 11 years of experience, currently working at Input Output (IOHK) where he progressed from Haskell Software Engineer to senior roles. He is a functional programming enthusiast with deep Haskell expertise and advanced knowledge of Ethereum and geth internals. His background blends formal methods (Master’s from Universidad Complutense de Madrid) with a double degree in Computer Engineering and Mathematics, enabling rigorous, type-driven design of blockchain systems. Javier has hands-on experience across Haskell and Rust from roles at Concordium and DXC Technology, focusing on robust, verifiable implementations for distributed ledgers. Based in Madrid, he combines research-minded precision with production-grade delivery and a knack for demystifying complex consensus and protocol code. Colleagues value his ability to translate formal specifications into maintainable, performant code across high-assurance blockchain projects.
11 years of coding experience
7 years of employment as a software developer
Bachillerato Ciencias y tecnología, Bachillerato Ciencias y tecnología at International BaccalaureateMaster's degree in Formal Methods in Computer Science and Engineering, Master's degree in Formal Methods in Computer Science and Engineering at Universidad Complutense de MadridBachillerato Ciencias y tecnología, Bachillerato Ciencias y tecnología at I.E.S. Cardenal López de Mendoza
Github Skills (148)
cryptocurrency10
vim10
ada10
cardano10
network-protocol10
haskell10
emacs-lisp10
hackage10
emacs10
cabal10
rust10
solc10
child-process10
prolog-interpreter10
mnemonic10
Programming languages (16)
Github contributions (5)
IntersectMBO/io-classes-extra
Oct 2024 - Jul 2026
Utilities built on top of `io-classes`
Contributions:8 reviews, 12 PRs, 32 pushes in 1 year 9 months
jasagredo/cabal
May 2023 - Mar 2025
Official upstream development repository for Cabal and cabal-install
Contributions:1 PR, 285 pushes, 55 branches in 1 year 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.