Welcome

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.

Here is my detailed CV.