Welcome to my homepage!

I am a postdoc in the Department of Philosophy at Carnegie Mellon University, working with Jeremy Avigad on a project in constructive methods and formal verification, funded by a grant from the US Air Force Office of Scientific Research. You can read my CV here.

I completed my PhD in Logic at Sun Yat-sen University (2019) under the supervision of Yimu Yin. I earned my MA in Philosophy at the Federal University of Pernambuco (2014) under the supervision of Fernando Raul Neto and my BSc in Computer Science at the Catholic University of Pernambuco (2011).

My research interests are in the philosophy of logic and mathematics, with emphasis on the study of philosophical and logical developments that have their origins in the foundational crisis of mathematics in the early twentieth century. I am particularly interested in themes regarding constructive methods, varying from intuitionism and type theory to formal proof verification.


  Baker Hall 135-L
  Carnegie Mellon University
  5000 Forbes Ave
  Pittsburgh, PA 15213

  Email: bbentzen at andrew dot cmu dot edu
  Phone: (412) 268-2933