Javier Roberto Diaz
Javier is a software engineer graduated from Universidad Nacional de La Plata, Argentina with a speciality in Formal Methods for Sofware Development. He has almost 20 years of experience in 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.
8877 2A9D FA28 ED8A BD09 F6DB 16C6 D874 62EC F262