Master student, writing about modal logic and computational complexity at University of Oslo.
My website