Maths student, amateur programmer, musician.

Interests: Set Theory, Modal Logic