教育背景 2001.09-2005.07,中国科学技术大学数学系本科 2005.09-2010.07,中国科学院数学与系统科学研究院博士 工作经历 2010.08-2013.09,奥地利维也纳大学哥德尔逻辑学研究中心博士后 2013.12-今,中国科学院数学与系统科学研究院助理研究员