We’re rewarding the question askers & reputations are being recalculated! Read more.
101
reputation
1

Jonathan Julian

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.

0
answers
1
question
~964
people reached

Top tags (4)

Score 0
Posts 1
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (1)

Gold

Silver

Bronze

1

Rarest