Welcome to my homepage!

Starting in January 2019 I am going to work with Jeremy Avigad on a project in formal verification, dynamical systems, and constructive analysis at the Department of Philosophy of Carnegie Mellon University.

I am interested in the foundations of mathematics, logic and type theory.

Click here for my CV and here for my Google scholar profile.
My CV in standard Brazilian CNPq/Lattes format is here.
I also have an Academia profile and a Github account.

Address: Sun Yat-sen University, Xingang Street, 135,
              Second Building, 509, Zipcode: 510275
              Guangzhou, Guangdong – China
Email:    b dot bentzen at hotmail dot com