►个人简介吴立军，教授►联系方式邮箱：wljuestc@sina.com电子科技大学计算机科学与工程学院教授，博士后.主要研究领域为人工智能和信息安全。近年

►个人简介王晓斌，教授►联系方式邮箱：xbwang@uestc.e.cn►教育背景1985年7月，电子科技大学计算机系获工学学士学位。1988年5月，电子科

►个人简介邵俊明，教授►联系方式电话：18280096713邮箱：junming.shao@gmail.com►学习历程受国家留学基金委LMU-CSC（慕尼

►个人简介邵杰，教授►联系方式电话：028-61831561邮箱：shaojie@uestc.e.cn►教育经历2004年6月，获东南大学工学学士学位

►个人简介尚明生，教授►联系方式邮箱：msshang@uestc.e.cn►教育经历理学学士，工学硕士，工学博士，管理学博士后。访问学者：美国明尼苏达

►个人简介屈鸿，教授►联系方式邮箱：hongqu@uestc.e.cn►教育经历2003/09-2006/11，电子科技大学，计算机软件与理论，博士2

►个人简介高辉，男，1969年9月出生，汉族，博士（荷兰格罗宁根大学），现任电子科技大学计算机学院教授、博士生导师。►主要研究领域数据挖掘、算法设计与分析、形式化验证等。

►个人简介傅彦，教授联系方式：83208057邮箱：fuyan@uestc.e.cn►教育背景1982年毕业于四川大学数学系，本科，学士，1988年毕业于电子

►个人简介符红光，教授►联系方式邮箱：fu_hongguang@hotmail.com►教育背景1986年7月，获四川大学计算数学理学学士；1989年7月获中国科学院系统所应用数学硕士学位；1999年获四川大学基础数学理学博士学位。►科研项目在国际上首次提出构造一般Dixon结式矩阵的快速算法，该算法是目前国际上效率最高的Dixon矩阵构造算法，用此算法首次得到了9循环方程标高问题的Dixon矩阵；6关节机器人的反运动学问题的符号解是机器人学中长期未解决的难题，他采用几何不变量方法，成功地解决了这一问题。国外对此工作的评价是：“Congratulationtheaothorsdidsomereallyhardandgoodwork!”.在1999年的973项目年度总结会上，国家最高科技奖获得者吴文俊院士评价说：“这项工作是最近几年我国机器证明领域取得的重要成果之一”；提出了用子结式序列构造广义Sturm序列的一般算法，以及用子结式多项式序列构造完全判别系统的算法。先后主持参与了中国科学院知识创新工程、国家973、８６３高技术项目、国家自然科学基金等项目，在国内外著名学术期刊上发表论文30多篇，被SCI、EI等检索收录论文10多篇。