-
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.
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
-
Software Engineer @ Nomasystems 2021 - currently
Education
-
MSc in Computer Science @ Universidade da Coruña 2023Master's thesis: Design-first framework for REST API development in Erlang.
Hdl: 2183/33720. Slides. -
BSc in Computer Science @ Universidade da Coruña 2019Bachelor'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