同机构人员：

• 杨云青
  杨云青，副教授，博士，硕士生导师，舟山市“111人才工程第三层次”人选。2011年博士毕业于华东师范大学，2013年至2015年于中国科学院数学与系统科学研究院数学机械化重点实验室从事博士后研究工作，......