User:Glasshand

I am a major in mathematics at the University of Arizona as well as an intern for the Machine Intelligence Research Institute in Berkeley.

My main areas of interest are logic, proof theory, category theory, and foundational mathematics.