divergence
Static divergence checking for Scala 3 match types. Implements a termination guarantee algorithm in the Scala 3 compiler (PR #24661), directed by Martin Odersky at EPFL. Will culminate in a Scala Improvement Proposal (SIP).
$ whoami
$ cat bio.txt
Balsells Research Fellow at UCI 🇺🇸
Computer Science @ FIB-UPC 🇪🇸
Top 1 student · GPA 9.25/10
$ echo $MOTTO
"I'm a hacker who builds and ships fast."
$ █
Static divergence checking for Scala 3 match types. Implements a termination guarantee algorithm in the Scala 3 compiler (PR #24661), directed by Martin Odersky at EPFL. Will culminate in a Scala Improvement Proposal (SIP).
Decentralized platform for sharing emotions securely on the Sui blockchain with on-chain encryption using SEAL and Move smart contracts. Winner at SUI × BSA Hackathon 2025, Lausanne.
Mobile visual search app for fashion clothes solving the Inditex challenge. Built with Flutter, FastAPI and Inditex API leveraging Computer Vision.
Multi-agent RL in a partially observable environment. Joint-Action Learning with Game-Theoretic solution concepts to study agent coordination and strategic interactions.
Interpreter for a simplified version of J (derived from APL) implemented in Python using ANTLR and NumPy.
Django starter template with Gemini chatbot integration. Ready-to-deploy boilerplate for full-stack web apps.
Fetched live from the GitHub API