Madrid, Spain


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