您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理模型 >

【学者推荐】欧阳丹彤:专注于基于模型的诊断、定理机器证明、自

发布时间:2019-06-26 22:23 来源:未知 编辑:admin

  原标题:【学者推荐】欧阳丹彤:专注于基于模型的诊断、定理机器证明、自动推理的研究

  欧阳丹彤,女,1968年生,分别在1990年、1993年、1998年于吉林大学计算机科学系获得学士、硕士和博士学位,2001年博士后出站,同年被破格评为教授,2003年被评为博士生导师。2008年5月~2012年5月任符号计算与知识工程教育部重点实验室主任;2008年12月~2012年12月任吉林大学计算机科学与技术学院副院长;2009年2月被选聘为国务院学位委员会第六,七届学科评议组成员。2009年5月被聘任为吉林大学第九届学位评定委员会信息学部分委会委员,计算机科学与技术学科分委会副主席。中国计算机学会人工智能与模式识别专委会副主任委员,理论计算机科学专委会委员。

  作为骨干参加完成国家与省部级项目16项。作为项目负责人完成国家自然科学基金项目2项、教育部项目2项、中国博士后科学基金项目1项;2001至2004年作为课题副组长承担863重大应用示范项目2项;2004年承担国家自然科学基金重大项目1项;获教育部“新世纪优秀人才支持计划”支持。在国内外核心刊物上发表论文150多篇,在国内外人工智能领域产生重大影响。获省科技进步一等奖3项,二等奖1项。省优秀教学成果二等奖1项,省普通高等学校优秀教材一等奖1项,国家精品课程1项。所在教学团队于2008年荣获了国家级教学团队的光荣称号。返回搜狐,查看更多

http://mojdzwonek.com/tuilimoxing/313.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有