Final-year dual-degree student in Computer Science and Business Administration at the University of Granada — I build systems where algorithmic rigor meets real-world impact.
role: Software Engineer · open to SWE / ML / Quant now: Google Summer of Code 2026 @ Mifos — OpenSPP on Kubernetes research: TFG on sovereign AI & LLM/model optimization (GPU Solutions) interests: AI for healthcare, distributed systems, quantitative finance languages: Spanish (native) · English (C1, studied in Cork, Ireland)
Self-authored work, quantified — figures count my own source, excluding vendored libraries and generated output.
Liver Cancer Algorithm · CEC2017
Bio-inspired metaheuristic built from scratch in C++, benchmarked over 16,740 experiments. Improved convergence 7–8 orders of magnitude via a memetic hybrid (Wilcoxon p<0.001); ranked 4th of 8 vs. state-of-the-art.
GSoC 2026 · OpenSPP on Kubernetes
Integrated the OpenSPP social-protection DPG into
Bio-inspired metaheuristic built from scratch in C++, benchmarked over 16,740 experiments. Improved convergence 7–8 orders of magnitude via a memetic hybrid (Wilcoxon p<0.001); ranked 4th of 8 vs. state-of-the-art.
GSoC 2026 · OpenSPP on Kubernetes
Integrated the OpenSPP social-protection DPG into
openMF/mifos-gazelle: a Helm chart from scratch, installer, ingress and CI. 10 PRs (2 merged), ~2,300 lines, an end-to-end payment pipeline and a 40-assertion test harness.
Concurrency & Distributed Systems
~8,500 LOC of C++11 / MPI built from primitives: producer–consumer (FIFO/LIFO), readers–writers, dining philosophers with deadlock analysis + arbitrator fix, and cyclic real-time schedulers (period/WCET).
Machine Learning · Seq2Seq Chatbot
Compared 8 ML algorithms across 3 practicals — K-Means (k=5), DBSCAN (6 clusters), association mining (lift 3.37) — and built a Seq2Seq LSTM chatbot in Keras (encoder-decoder, latent_dim=256, teacher forcing).
~8,500 LOC of C++11 / MPI built from primitives: producer–consumer (FIFO/LIFO), readers–writers, dining philosophers with deadlock analysis + arbitrator fix, and cyclic real-time schedulers (period/WCET).
Machine Learning · Seq2Seq Chatbot
Compared 8 ML algorithms across 3 practicals — K-Means (k=5), DBSCAN (6 clusters), association mining (lift 3.37) — and built a Seq2Seq LSTM chatbot in Keras (encoder-decoder, latent_dim=256, teacher forcing).
Parcherckers · Game AI
Competitive Parchís engine (1,467 LOC C++): minimax with alpha-beta pruning to depth 8, probabilistic pruning, dynamic depth by branching factor, and quiescence search to beat the horizon effect.
Strong NP-Completeness of 3-Partition
A 16-page formal proof in LaTeX that 3-Partition is strongly NP-complete, reproducing the Garey & Johnson reduction chain (3DM ≤p 4-Partition ≤p 3-Partition) — and found a published erratum in their bound.
Competitive Parchís engine (1,467 LOC C++): minimax with alpha-beta pruning to depth 8, probabilistic pruning, dynamic depth by branching factor, and quiescence search to beat the horizon effect.
Strong NP-Completeness of 3-Partition
A 16-page formal proof in LaTeX that 3-Partition is strongly NP-complete, reproducing the Garey & Johnson reduction chain (3DM ≤p 4-Partition ≤p 3-Partition) — and found a published erratum in their bound.
More on my portfolio — REST backends (Node · JWT · MongoDB · Prometheus), a FastAPI finance manager, dev-tooling and image processing.
