Welcome to my homepage!
I am an Assistant Professor in the School of Philosophy at Zhejiang University. My main research interests are in the philosophy of logic and mathematics, with special emphasis on the philosophical foundations of mathematical constructivism through the lens of constructive type theory.
I am also a collaborator in the meaningful formalism project on the foundations of type theory led by Ansten Klev at the Czech Academy of Sciences, where I was previously a postdoctoral researcher in the Department of Logic of the Institute of Philosophy. Before that, I was a postdoctoral fellow in the Department of Philosophy at Carnegie Mellon University in Pittsburgh.
Prior to joining Zhejiang University, I received my Ph.D. 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 in 2019. Before that, I earned an M.A. in Philosophy at the Federal University of Pernambuco and a B.Sc. in Computer Science at the Catholic University of Pernambuco. You can read my CV here.