Professor, Doctoral Supervisor. Graduated from the Graduate School of the Chinese Academy of Social Sciences with a major in logic obtaining a Ph.D. degree in June 2000 and he graduated from Nanjing University of Aeronautics and Astronautics with a major in computer application technology obtaining a D.E. degree. He has always worked as an associate professor and professor in the Department of Philosophy of Nanjing University, director of the Logic Center of the Department of Philosophy of Nanjing University and a member of the Party Committee of the Department of Philosophy of Nanjing University. Now he is a professor at the Institute of Philosophy of the Chinese Academy of Social Sciences, vice chairman and secretary general of the Chinese Society of Logic and director of the Specialized Committee of Applied Logic with the Chinese Society of Logic. He is mainly engaged in professional studies on logic with the research direction of Modern Logic and its application.