Welcome to my homepage!

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

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

I am interested in the foundations of mathematics, logic and type theory. In particular, my work ranges from the study of the philosophical foundations of mathematical constructivism via type-theoretic methods, to the formalization of mathematics in type theory and formal verification of mathematical proofs using interactive theorem provers.


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

  Email: b dot bentzen at hotmail dot com