IOHK | Team

Javier Roberto Diaz

Javier Roberto Diaz
  • Software Engineer
  • Atix


Javier Diaz is a software engineer who graduated from the Universidad Nacional de La Plata, Argentina, with a speciality in formal methods for software development. He has almost 20 years of experience in the IT industry, in particular with low-level programming and distributed, high-performance systems, mostly in the context of telecommunications and cybersecurity. He is passionate about functional programming (Haskell in particular), program verification, computability/complexity, and mathematical logic. He began working for IOHK in 2017.

Atix Labs

8877 2A9D FA28 ED8A BD09 F6DB 16C6 D874 62EC F262

Javier Roberto Diaz