I am a PhD student majoring in logic at the institut of computer science, Heidelberg University. I got my master’s degree at the Center for Logic, Language and Cognition, Department of Philosophy, Peking University, and my bachelor’s degree in mathematics from the Department of Mathematics, Nanjing University.
I am interested in mathematical logic and some branches of theoretic computer science. At present, My main research interests are among computability theory, Kolmogorow complexity and algorithmic randomness.
PhD in Computer Science (expected), 2019
Heidelberg University, Germany
MSc in Philosophy, 2015
Peking University, China
BSc in Mathematics, 2012
Nanjing University, China