I am an Assistant Professor in the School of Philosophy at Zhejiang University. Previously, 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 in Pittsburgh. My main research interests are in the philosophy of logic and mathematics, with emphasis on mathematical constructivism, intuitionism, and type theory.
Zhejiang UniversitySchool of PhilosophyAssistant Professor
Sun Yat-Sen University
Department of Philosophy
Hangzhou, Zhejiang, China