Undergraduate mathematics student. I'm interested in Mathematical Logic, and Theoretical Computer Science.