553
reputation
6
15

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.

9
answers
6
questions
~14k
people reached

Top tags (28)

Score 15
Posts 6
Posts % 40
Score 14
Posts 2
Score 11
Posts 1
Score 11
Posts 1
Score 11
Posts 1
Score 4
Posts 4

Top posts (15)

View all questions and answers

Badges (21)

Gold

Silver

6

Rarest

Bronze

15

Rarest