Yes, according to Liu's personal profile, Liu is a 2006 student of the Department of Mathematical Sciences in Tsinghua University, and one of the few freshmen who entered the laboratory one year in advance in the history of the Department of Mathematical Sciences. Later, due to his outstanding contribution in the field of mathematical mechanization, he won the 2008 Qiushi Outstanding Scientist Award and became the youngest winner.