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.