[1]  2014.9 to 2015.8
阿姆斯特丹大学  | Logic  | 联合培养博士
[2]  2010.9 to 2016.1
北京大学  | 计算机软件与理论  | Doctoral Degree
[3]  2006.9 to 2010.7
暨南大学  | 软件工程  | Bachelor's Degree