I am currently a PhD student in the Logic Group at the Department of Mathematics of the University of Hamburg. My current supervisor is Prof. Dr. Benedikt Löwe,
and my current research interest is modal logics of forcing.
||University of Hamburg|
||Institute of Mathematics of Chinese Academy of Sciences, Master of science in Mathematics|
|| Central South University, Bachelor of Science|