Hola! I'm Jorge Blázquez Saborido, an undergraduate student on Computer Science at Complutense University of Madrid.

My main interests are: type theory, formalization of mathematics in proof assistants and software verification.