I study philosophy and computer science, currently with a focus on logic (both formal and transcendental - if that distinction makes sense.. not quite sure yet).