Javier Díaz
Formal Methods Engineer at Input Output (IOHK)
La Plata, Buenos Aires, Argentina
Summary
👤
Senior🎓
Top SchoolJavier Díaz is a Formal Methods Engineer with over 20 years of software engineering experience and a deep specialty in parallel, concurrent, and distributed systems—particularly blockchain and cryptocurrency protocols. Currently at Input Output (IOHK) after leading formal-methods work at Globant for IOHK’s Ouroboros protocol, he combines practical Haskell/Scala/C/C++ engineering with theorem proving in Isabelle/HOL to deliver highly reliable, verifiable systems. He has a long history building high-performance, security-focused infrastructure across companies like Intel, McAfee, Verizon, and Intraway, often mentoring and coaching junior engineers. Passionate about functional programming, mathematical logic, and category theory, he frequently bridges research-level formal verification with production implementations. Known for obsessive attention to software quality and detail, he also brings an educator’s curiosity—translating complex computability and complexity concepts into actionable designs.
8 years of coding experience
19 years of employment as a software developer
Bachelor, Computer Science, Bachelor, Computer Science at Universidad Nacional de La Plata
Github Skills (47)
tla10
connected10
cryptocurrency10
ada10
cardano10
blockchain10
plutus10
agda9
ledger9
distributed-computing9
formal-methods9
equivalence9
formal-verification9
calculus8
isabelle8
Programming languages (4)
Github contributions (5)
javierdiaz72/Finite_Map_Extras
Jul 2021 - Feb 2025
Useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard `Finite_Map` theory.
Contributions:1 review, 1 PR, 2 pushes in 3 years 7 months
isabelle
input-output-hk/cardano-ledger-high-assurance
Nov 2019 - Feb 2020
Formalization of the Cardano ledger specification
Contributions:42 commits, 4 PRs, 36 pushes in 3 months
adaspecificationformalizationplutusledger
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.