Welcome to my homepage!

I am a Postdoctoral Fellow in the Department of Logic at the Institute of Philosophy of the Czech Academy of Sciences in Prague working with Ansten Klev on a project involving the development of a philosophy of mathematics for type theory. Previously, I was a Postdoctoral Fellow in the Department of Philosophy at Carnegie Mellon University in Pittsburgh. 

Prior to coming to the Czech Academy of Sciences, I received my PhD in Logic from the Institute of Logic and Cognition in the Department of Philosophy at Sun Yat-sen University under the supervision of Yimu Yin. Before that, I earned a MA in Philosophy at the Federal University of Pernambuco and a BSc in Computer Science at the Catholic University of Pernambuco in Recife, Brazil, where I was born and raised. You can read my CV here

My research interests are in the philosophy of logic and mathematics, with emphasis on philosophical and logical aspects of the foundational debates in mathematics during the early twentieth century. I am particularly interested in themes revolving around mathematical constructivism, varying from intuitionism and type theory to formal proof verification.


  Institute of Philosophy
  Czech Academy of Sciences
  Jilská 1, Prague 1 110 00
  Czech Republic

  Email: b dot bentzen at hotmail dot com
  Phone: +420 222 220 12