I am currently a university professor at the Philosophy Department of the University of Barcelona. I did my master at the ILLC in Amsterdam and a PhD in Utrecht University under the supervision of Lev Beklemishev, Dick de Jongh and Albert Visser.

My main interests are reflected by my publications and personal webpage and could be seen as somewhere fitting in Meta-mathematics, Foundations of Mathematics, Proof Theory, Interactions between Logic, Law and Aritificial Intelligence, Ordinal Analysis, Modal and Non-Classical Logic.