- Research
- Education
- Work Experience
- Teaching Assignment
- Publications
- Project Fund
- Awards
- Academic Service
2003 - 2007 上海交通大学计算机科学与技术 本科
2007 - 2010 上海交通大学计算机软件与理论 硕士
2010 - 2014 德国亚琛工业大学计算机科学系 博士
目前教授研究生程序语言理论课程
HSCC 2013 最佳学生论文奖
为理论计算机科学国际著名学术期刊和会议Information and Computation, ICALP等审稿20余次。