Álvaro Díaz
Experto En Tecnologías De La Información at Banco de España
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolÁlvaro Díaz is an IT expert with 14 years of experience combining applied research and production-grade systems at the Banco de España and Universidad Politécnica de Madrid. Trained in computational logic (Technische Universität Dresden) and pursuing a Ph.D. in Computer Science, he specializes in formal verification via model checking, Erlang and Java programming, multi-agent and distributed systems. He brings academic rigor to practical financial technology challenges, translating formal methods into dependable, scalable solutions. A long-standing member of the Babel Research Group, he has a rare dual perspective as a funded researcher and a civil-servant technologist, comfortable moving between proof-driven design and operational delivery.
14 years of coding experience
Charles III University of Madrid (Universidad Carlos III de Madrid)Master's degree, European Master in Computational Logic, Master's degree, European Master in Computational Logic at Technische Universität DresdenDoctor of Philosophy - PhD, Software, sistemas y computación, Doctor of Philosophy - PhD, Software, sistemas y computación at Universidad Politécnica de Madrid
English, GermanGithub contributions (1)
avalor/eJason
Mar 2012 - Aug 2014
Contributions:23 commits, 10 pushes, 2 comments in 2 years 5 months
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.