中科院成都计算机应用研究所导师介绍：符红光

　　姓名：符红光　性别：男　
　　学院：中科院成都计算机应用研究所
　　研究方向：自动推理的理论、算法及程序自动生成的方法和应用
　　
　　教育经历:
　　 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: ************-8515
　　
　　

　　如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式