Javier Garea

computer scientist, software engineer, problem solver

About

Passionate about the theoretical foundations of computing, with deep interests in fields like Artificial Intelligence, Type Theory, and Logic. Advocates for evidence-based and mathematically grounded solutions, leveraging proven standards and methodologies to drive innovation. A strong proponent of open source, and the power of shared knowledge and collaborative progress. Committed to continuous learning and the mastery of computational abstractions.

Experience

Education

Publications

Talks

Interests

Contact