Hi! I'm Jorge Blázquez Saborido, a PhD student on Computer Science at Complutense University of Madrid.

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