Javier Roberto Diaz
- Software Engineer
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.
8877 2A9D FA28 ED8A BD09 F6DB 16C6 D874 62EC F262