专业团队
客服中心
中关村兰德科教创新研究院
4000908855
Email:lande@landepj.org
-
佘志坤
佘志坤
职务 北京航空航天大学数学与系统科学学院原副院长
简介
佘志坤，男，1977年出生。北京航空航天大学教授、博士生导师，2007年度北京市优秀人才，2007年度北京航空航天大学蓝天新秀，2008年度北京市科技新星，2013年度教育部新世纪优秀人才，2014年度国家优秀青年科学基金项目获得者。1995年9月到2005年6月，就读于北京大学数学科学学院，获理学学士和博士学位（硕博连读）；2004年1月到2006年12月，工作于德国马普计算机科学研究所。他主要在混成系统自动验证、微分方程和动力系统、符号-数值计算、计算复杂性、空间非开普勒轨道分析与优化控制等领域从事基础和应用研究。博士期间，在导师郑志明教授的指导下，提出了伪除机理论，从而推广了Smale等提出的著名的BSS机器(即所谓的实图灵机模型)，并在2002年国际数学家大会分会场做此研究成果的报告。以此为基础，在实代数系统的研究上也取得了一系列原创成果。国际著名混成系统自动验证专家、德国马普计算机科学研究所前所长H. Ganzinger教授高度重视，特意邀请他前往德国马普计算机科学研究所做短期访问；随后，在未取得博士学位情况下，他被破格邀请到马普从事博士后研究，并进入德国大型跨区域科研项目AVACS（www.avacs.org）的核心研究小组之中。
- 上一条： 邵志峰
-
下一条： 沈 健