Undergrad studying mathematical logic at the University of Pennsylvania. Music lover, functional coder, bathrobe wearer.