Projects

IoT Startup March 2, 2026

An IoT solution for automated horse monitoring and feeding. This reflects my time helping out a spanish startup in the IoT space.

This website November 27, 2025

The infrastructure design and deployment of this website. Yes, it's on the cloud :^)

Symbolic solver August 21, 2024

Developed during my time under the mentorship (GSoC) of Alexander Demin and Shashi Gowda.