Borja Sierra Miranda

Hello! Welcome to my webpage.

I am a PhD candidate in the Logic and Theory Group at the University of Bern, working under the supervision of Thomas Studer. My research lies in Non-wellfounded Proof Theory, with broader interests in Modal Logic, Provability Logics and Arithmetical Theories. I am particularly interested in the mathematical study of the foundations of mathematics.

Before the PhD, I did the Master of Logic at the ILLC in the University of Amsterdam. If you want to have a glimpse to my thesis it is available here.

A (possibly not entirely up-to-date) version of my CV is available here.