...I recently graduated from Kent State University with a PhD in Pure Math. I have a PhD in Pure Mathematics, with a specialization in Topology. I have taken basic logic courses and done some self-study, not only of logic but of category theory and last summer I started teaching myself HoTT. (read more)