| 姓名: | 符红光 |
| 学校: | 电子科技大学 |
| 学院: | 计算机科学与工程学院 |
| 职称: |
<div class> <p><br/> 导师姓名:符红光 <br/> 性别:男 <br/> 出生年月:1965年09月 <br/> 职称:教授 <br/> 学位:博士 <br/> 属性:专职 <br/> 电子邮件:fu_hongguang@hotmail.com <br/> <br/> 学术经历:<br/> </strong>符红光教授主要从事计算机代数、人工智能、数据挖掘、语义网、图形计算、计算生物等领域的研究。其主要贡献是解决了6关节机器人反运动学问题的符号解问题,得到了吴文俊院士的高度评价;提出了快速Dixon结式算法和去多余因式算法以及构造广义Sturm序列的递归算法;在张景中院士领衔下,负责开发出了国际先进的具有自动解题功能的智能教育软件平台;领衔开发出了我国第一套图形计算器,打破了美国德州仪器和惠普等国际IT巨头的垄断,填补了国内空白。先后获得国家自然科学二等奖、中国科学院自然科学一等奖、四川省青年科技奖、四川省有突出贡献的优秀专家以及国家政府津贴的奖励。<br/> <br/> 个人简介:<br/> </strong> 1986年四川大学数学系计算数学专业毕业,1989年中国科学院系统所应用数学专业硕士毕业,1999年四川大学数学系基础数学专业博士毕业。1994年澳门联合国大学国际软件技术研究所访问学者,1999年在美国纽约州立大学石溪分校学习,2000年任中国科学院成都计算机应用研究所研究员,中国科学院成都计算机应用研究所副所长,2002年任中国科学院博士生导师,2005年任四川省学术技术带头人,2006任电子科技大学计算机科学与工程学院教授、博导。<br/> <br/> 硕士招生专业<br/> </strong> 081202计算机软件与理论 <br/> 02方向:数据库与数据挖掘 <br/> 08方向:自动化推理与可信计算 <br/> 09方向:人工智能</p> </div>