I am a Mathematics PhD student at the University of Barcelona, currently working in provability logics, positive modal logics, ordinal analysis, and formal verification.