Balsells Research Fellow at UCI 🇺🇸 | Computer Science Student at FIB-UPC 🇪🇸
I'm a hacker who builds and ships fast. I specialize in creating practical solutions across the full stack—from compiler research and type theory to AI, blockchain, and web applications.
Compiler Research & Type Theory
- 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). Grade: 6.0/6.0
Blockchain & Hackathons
- Healix – 🏆 $1,000 USD prize winner at the SUI × BSA Hackathon 2025 (Lausanne). A decentralized platform for sharing emotions securely on the Sui blockchain, with on-chain encryption using SEAL and Move smart contracts
AI & Machine Learning
- multiagent-RL – Multi-agent reinforcement learning with game-theoretic solution concepts
- Planning modules for complex scheduling problems (PDDL)
- Knowledge-based systems for real-world applications (CLIPS)
Web Development
- django-base – Django template with Gemini chatbot integration
- lluc24.github.io – Personal website hosted on GitHub Pages
Language Processing & Compilers
- miniJ – Interpreter for a simplified J language using ANTLR and NumPy
- Custom parsers and abstract syntax trees
Data Structures & Algorithms
- BinTree – Binary tree implementation in Scala
- Java applications with efficient algorithms
Tools & Templates
- my-profile – LaTeX CV and business card automation
Languages: Python • Java • Scala 3 • TypeScript • JavaScript • Move • CLIPS • PDDL • TeX
Frameworks: Django • React (Next.js) • ANTLR • NumPy • Sui/SEAL
Tools: Git • GitHub Actions • LaTeX
Portfolio: linktr.ee/lluc_santamaria