佘氏暑校导师简介：佘志坤
2017-07-12 01:04 来源: 华夏佘氏网 作者 京华佘氏供稿
导读：佘志坤，北京航空航天大学数学与系统科学学院教授、博士生导师、研究生教学副院长。2007年度北京市优秀人才， 2008年度北京市科技新星，2013年度教育部新世纪优秀人才，2014年度国家优秀青年科学基金项目获得者。北京数学会理事，中国数学会计算机数学专委会
佘志坤，北京航空航天大学数学与系统科学学院教授、博士生导师、研究生教学副院长。2007年度北京市优秀人才， 2008年度北京市科技新星，2013年度教育部新世纪优秀人才，2014年度国家优秀青年科学基金项目获得者。北京数学会理事，中国数学会计算机数学专委会委员，中国计算机学会形式化方法专委会委员。获2013年度教育部自然科学奖一等奖（第三完成人）。
他主要围绕非线性混成系统的数学理论、计算方法以及实际应用开展研究，在ACM汇刊、IEEE汇刊、SIAM期刊等国际知名期刊以及CAV、AAAI、HSCC等中国计算机学会推荐会议上发表学术论文48篇。这些研究成果被来自于麻省理工学院、斯坦福大学、加州大学伯克利分校、剑桥大学、牛津大学、苏黎世联邦理工学院等著名机构、包含1名图灵奖得主、1名自动推理杰出贡献奖Herbrand奖得主、1名哥德尔奖得主、8名院士、15名ACM/IEEE会士在内的学者他引418次，单篇最高他引121次，并获得诸如“改进了传统方法”、“最早工具”、“明显优势”、“对于推动复杂系统验证是有价值的”、“灵感之源”、“显著的”、“促进实现”等等的正面评价。
上一篇：佘氏暑校导师简介佘镜怀教授
下一篇：佘氏暑校导师简介
相关阅读
