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.
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.