Jonathan Julián Huerta
Currently a graduate (research) student at the University of Sheffield funded by Mexico's National Council of Science and Technology (CONACyT).
My main interests in Mathematics are related to their foundations e.g. Logic, Set Theory, Category Theory, Type Theory and Homotopy Type Theory.
My interests in programming and Computer Science lie in Deep Learning, Automated Theorem Proving and Formal Verification.