PhD in Computer Science, 2019
Heidelberg University, Germany
M.Phil in Logic, 2015
Peking University, China
B.Sc in Mathematics, 2012
Nanjing University, China
Preprint PDF DOI
Preprint PDF Cite DOI
Preprint