Javier Garea
computer scientist, software engineer, problem solverAbout
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
-
(2021-currently)
Software Engineer @ Nomasystems (remote)-
Led the maintenance and development of new functionalities for a high‑performance push notifications platform, with the capability to dispatch tens of thousands of notifications per second and with support for a wide range of notification providers.
-
Led the design and implementation of an inbox message system millions worldwide use under single-digit ms average latency.
-
Pioneered cloud-native transformation in the department by advocating for open standards and adopting CNCF-supervised solutions, resulting in improved scalability, reliability, and adherence to industry best practices.
-
Consulted as a backend developer for a fashion SaaS B2B Marketplace, designing a robust data import/export microservice, maintaining the core API gateway, and optimizing CI pipelines to significantly reduce validation times and accelerate feature delivery.
-
Released, contributed to and maintained various open source projects, driven by the desire to give back to the community that fuels our industry.
-
Education
-
(2023) MSc in Computer Science, Universidade da Coruña.
Master's thesis: Design-first framework for REST API development in Erlang.
📎 Hdl: 2183/33720. 📎 Slides. -
(2019) BSc in Computer Science, Universidade da Coruña.
Bachelor's thesis: A processor of epistemic expressions in logic programs.
📎 Hdl: 2183/24095. 📎 Slides.
Publications
-
P. Cabalar, J. Fandinno, J. Garea, J. Romero and T. Schaub, "eclingo - a Solver for
Epistemic Logic Programs", in Proc. of the 36th International Conference on Logic Programming
(ICLP'20), September 2020, Theory and Practice of Logic Programming 20(6), pp. 834-847, 2020.
📎 DOI: 10.1017/S1471068420000228.
🎓 Best Student Paper Award, 36th International Conference on Logic Programming, Rende, Italy, 2020.
Talks
- "Designing Beyond Behaviours, an Industrial Tale", co-presented with L. Soto, Code BEAM Lite A Coruña, June 2022. 📎 Video.
Interests
- theoretical computer science
- formal methods
- artificial intelligence
- functional and/or logic programming
- software validation and verification