Experience

04/2019-now, Researcher, School of Mathematics and Statistics, Taishan University

09/2024-11/2024, Visitor, Tsinghua University – University of Amsterdam Joint Research Centre for Logic, Tsinghua University

01/2014-02/2018, PhD in Logic, Applied Logic Group, Delft University of Technology

09/2011-08/2013, MSc in Logic, Logic and Mathematics Track, Institute for Logic, Language and Computation, University of Amsterdam

09/2007-07/2011, BA in Philosophy (Major), Philosophy of Science and Logic Track, Department of Philosophy, Peking University

09/2008-07/2011, BSc in Mathematics (Minor), Mathematics and Applied Mathematics Track, School of Mathematical Sciences, Peking University