I recently finished a PhD in Mathematics and Computer Science at the University of Barcelona. I have also worked in software and mathematics formalization in Coq. My main research interests are (quantified) provability logics, (strictly positive) modal logics, and formal verification.