Computer Science Engineering student at Complutense University of Madrid (UCM). I am interested in type theory and how it can be used to make programs fast and correct.
Web del HackLab de la Universidad Popular
My Bachelor's thesis
My personal site
Formalization of Automata Theory and Complexity Theory in Cubical Agda
"Mathematical Logic" book formalized in Agda
An application for drawing, editing and running finite automata