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