I am working at the school of philosophy at Fudan University. My major is the philosophy of mathematics, and I am interested in mathematical logic, especially set theory.