I am an assistant researcher at Key Laboratory of System Software, Institute of Software, Chinese Academy of Sciences. I work on computability theory, Kolmogorov complexity and algorithmic randomness.