Javier Garea

About

Deeply interested in those fields that intersect computing and maths such as artificial intelligence, logic, and type theory. Passionate about open source software and dedicated to evidence‑based problem solving. I am 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.

  • Provided expertise as a backend developer consultant for a fashion SaaS B2B Marketplace designing its data import/export microservice, helping maintain its core API gateway, and improving its CI pipelines.

  • Released, contributed to and maintained various open source projects, driven by the desire to give back to the community that fuels our industry.

  Skills: Erlang, Elixir, Property-Based Testing, Docker, K8s, Python.

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

Contact