Javier Garea

→ computer scientist ∧ software engineer

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

Links