I am an Assistant Professor in the School of Philosophy at Zhejiang University appointed through the New Hundred Talents Program. Prior to joining Zhejiang University, I was a postdoctoral researcher in the Institute of Philosophy of the Czech Academy of Sciences and a postdoctoral researcher in the Department of Philosophy at Carnegie Mellon University. My main research interests are in the philosophy of logic and mathematics, with special focus on mathematical constructivism, intuitionism, and type theory.
Personal Website: https://www.brunobentzen.com/