Atualmente é Professor Adjunto no Departmento de Filosofia da Zhejiang University, China. É graduado em Ciência da Computação pela Universidade Católica de Pernambuco (2011) com mestrado em Filosofia pela Universidade Federal de Pernambuco (2014), doutorado em Lógica pela Sun Yat-sen University (2019) e pós-doutorado pela Carnegie Mellon University (2020) e Czech Academy of Sciences (2021). Pesquisa na área de Filosofia e Lógica, com ênfase nos fundamentos da matemática e construtivismo matemático. Atua principalmente nos seguintes temas: filosofia da matemática, intuicionismo, lógica construtiva e teoria dos tipos.
I am an Assistant Professor in the Department of Philosophy at Zhejiang University. I obtained my B.Sc. in Computer Science at the Catholic University of Pernambuco (2011), M.A. in Philosophy at the Federal University of Pernambuco (2014), Ph.D. in Logic at Sun Yat-sen University (2019). Prior to joining the Zhejiang University, I worked as a postdoctoral researcher at Carnegie Mellon University from 2019 to 2020 and Czech Academy of Sciences in 2021. I am interested in philosophy and logic, especially in the foundations of mathematics and mathematical constructivism. I am particularly interested in themes revolving around intuitionism, constructive logic and type theory.
