I am a PhD student in Logic and Theory Group, Institut für Informatik, Universität Bern, under supervision of Prof. Thomas Studer. I have received my Bachelor in Mathematics in the University of Seville, and my Master in Logic in the University of Amsterdam. During the master thesis I worked in intuitionistic provability logic and currenlty I am working on non-wellfounded proof theory. However, my interests in logic are broader. A non-exhaustive list is: Foundations of Mathematics, Proof Theory, Arithmetical Theories, Algebraic Logic, Coalgebra, Modal Logic, ...