I am a university student studying mathematics. My main interests are in algebra, number theory, and mathematical logic. I occasionally dabble in attempts to learn computability theory and programing language design.