Undergrad mathematics at the University of Amsterdam with a Master in Logic at the Institute for Logic, Language and Computation; PhD at Utrecht University on Interpretability Logic; Current position at the University of Barcelona at the Philosophy Department with an ICREA Academia distinction and membership to the Institute of Mathematics of the University of Barcelona.