中科院成都计算机应用研究所导师介绍:符红光
姓名:符红光 性别:男
学院:中科院成都计算机应用研究所
研究方向:自动推理的理论、算法及程序自动生成的方法和应用
教育经历:
1986 毕业于四川大学数学系计算数学专业。
1986年-1989年 中国科学院分院数理室应用数学专业,硕士学位。
1995年-1996年 澳门联合国大学国际软件技术研究所访问学者。
1996年-1999年 四川大学,基础数学师从杨路研究员,博士学位。
1999,7-1999,10 美国纽约州立大学石溪分校高级信息管理培训。
工作经历:
1996 - 1997 年,中科院成都计算机应用研究所副研究员 。
1998 - 现在,中科院成都计算机应用研究所研究员。
2001 - 现在,中科院成都计算机应用研究所副所长,所学术委员会副主任。
研究成果及获奖情况:
1. 采用几何不变量方法,成功地解决了关节机器人的反运动学问题的符号解。
2. 1997年 “定理机器证明理论与算法的新进展”项目,国家自然科学二等奖。
3. 1995年“定理机器证明理论与算法的新进展”项目,科学院自然科学一等奖。
4. 主持研发的《数学实验》通过国家教育部中、小学教材审定委员会审定。
5. 主持研发的《数学实验》获2001年中国软件行业协会教育软件类排名第一。
6. 2002年四川省第七届青年科技奖 。
7. 四川省学术技术带头人后备人选。
联系方式:
Email: Fu_hongguang@hotmail.com
Tel: 028-85249933-8515
【中科院成都计算机应用研究所导师介绍:符红光】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2009年湖北工业大学管理思想史(B)考研试题及答案
- 【导师介绍】2009年湖北工业大学微生物学(B)考研试题
- 【导师介绍】2009年湖北工业大学文化基础(A)考研试题
- 【导师介绍】2009年湖北工业大学马克思主义基本原理(A)考研试题
- 【导师介绍】2009年湖北工业大学微生物学(A)考研试题
- 【导师介绍】2009年湖北工业大学金属学及热处理(A)考研试题
- 【导师介绍】2009年湖北工业大学金属材料学(B)考研试题
- 【导师介绍】2009年湖北工业大学控制工程(B)考研试题
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比