Javier Roberto Diaz

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.