导师姓名：左志宏性别：男出生年月：1966年11月 职称：教授学位：博士属性：专职电子邮件：zhzuo@uestc.e.cn学术经历：1.对

导师姓名：王晓斌性别：男出生年月：1964年09月职称：教授学位：博士属性：专职电子邮件：xbwang@uestc.e.cn学术经历：主要研究方向是程序设

导师姓名：邱会中性别：男出生年月：1964年02月职称：副教授学位：硕士属性：专职电子邮件：Hzqiu@uestc.e.cn学术经历：对数据库管理技术、软

导师姓名：文军性别：男出生年月：1966年10月职称：副教授学位：博士属性：专职电子邮件：wenjun@uestc.e.cn学术经历：2002年成都电子科

导师姓名：张建中性别：男出生年月：1956年10月职称：副教授学位：硕士属性：专职电子邮件：jianzhong@uestc.e.cn学术经历：在哈尔滨工程

导师姓名：杨义先性别：男出生年月：1961年03月特称：长江学者、杰青职称：教授学位：博士属性：兼职电子邮件：yxyang@bupt.e.cn学术经

导师姓名：杨国武性别：男出生年月：1966年11月职称：教授学位：博士属性：专职电子邮件：guowu@uestc.e.cn学术经历：主要从事硬件和软件

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

导师姓名：陈雷霆性别：男出生年月：1966年07月职称：教授学位：博士属性：专职电子邮件：richardchen@uestc.e.cn学术经历：主要研