简介

历史回顾

实验室现状

简介

符号计算与知识工程教育部重点实验室依托于吉林大学，由计算机科学与技术学院和数学学院支撑，计算机科学与技术学科具有一级学科博士学位授予权，数学学科是一级国家重点学科，其中计算机软件与理论和计算数学为国家重点学科专业。根据计算机科学技术发展前沿趋势与国家需求，积极调整学科布局，形成了符号计算与自动推理，知识工程与智能软件，智能计算，计算机图形图像处理，信息处理的非线性偏微分方程方法，高可信与移动计算等主要研究方向。重视计算机科学与数学的交叉融合，并加强了符号计算与数值计算、非线性处理与计算机图形图像处理、知识工程与智能软件、逻辑推理与定量推理、智能计算与生物信息学、高可信与移动计算等基础研究的结合。实验室已取得了一批创新性的研究成果，一些研究成果已产生了重大的经济和社会效益，在国内外产生了较大的学术影响。

实验室是国家“211工程”“九五”“符号、数值计算与知识工程”重点建设学科的承担单位，是国家“211工程”“十五”“计算与软件科学及信息处理”重点建设学科的承担单位，也是国家“985工程”二期“计算与软件科学”科技创新平台承担单位。

历史回顾

早在1958年，中科院院士王湘浩先生建立了“控制论”研究室，对计算机系统结构进行了研究。六十年代，在“多值逻辑”和“自动机理论”两方面取得了具有国际先进水平的研究成果。1960年到1975年，先后研制了6台计算机。1974年，完成了“ALGOL60编译系统74”。1977年，王湘浩先生在国内率先开拓了“人工智能”研究方向，有力推动了国内人工智能研究。同年完成了“NOVA机多用户BASIC”分析和TQ-6机“FORTRAN编译系统”。学院学科门类齐全，具有雄厚的科学研究实力，学术梯队结构合理，有国内一流的先进仪器设备， 具有“计算机软件与理论”、“计算机应用技术”和“计算机系统结构”等专业办学优势。在计算机科学的前沿研究领域人工智能、定理机器证明、智能规划与自动推理、知识工程与Agent系统、软件工程与软件自动化、分布式系统、计算机图形学、计算机网络和计算智能等研究方向取得了国内外公认的成果，一直处于国内领先行列。

实验室现状

实验室成立于1993年12月，成立初为国家教委开放实验室，1999年教育部统一更名重点实验室，1998年、2006年分别通过教育部组织的评估。

实验室学术委员会由国内15名知名专家组成，学术委员会主任为中国科学院院士、中科院软件所林惠民教授，实验室主任为博士生导师欧阳丹彤教授，兼任吉林大学计算机科学与技术学院副院长。

实验室充分发挥了高校的优势，使之成为既是科学研究的中心，又是高层次人才培养的基地。近五年来，实验室先后承担国家级和省部级项目140余项，经费3500多万元；在国内外期刊发表论文800余篇，其中被SCI、EI检索的国际期刊和国内英文期刊103篇，国内权威杂志139篇；SCI收录130余篇，EI收录130余篇，出版著作18部。获国家科技进步二等奖1项，省部级科技进步特等奖1项、一等奖6项、二等奖6项、二等奖5项；获得国家发明专利5项，实用新型专利3项，软件著作权35项，申请发明专利6项。获得国家级精品课3门和教育部-IBM精品课1门；获国家级教学团队2项。

实验室充分发挥高校科学研究和培养人才的优势，本着“开放、流动、联合、竞争”的原则，通过优化组合，实验室形成了一支规模适当、结构合理、优势互补、整体实力较强的研究队伍，目前有中科院双聘院士1人，长江学者讲座教授1人，国家杰出青年基金获得者2人，国务院学位委员会学科评议组成员2人，教育部新世纪优秀人才6人，高校青年教师奖获得者1人，享受国务院政府津贴5 人，吉林省高级专家 3 人，吉林省有突出贡献中青年专家6人、吉林省杰出青年基金获得者5人。实验室主任和学术带头人在国内外相关研究领域有较大影响。

实验室已经成为我国符号计算与知识工程领域的高级人才培养基地，近五年来，获得全国优秀博士学位论文1篇，提名1篇，吉林省优秀博士论文3篇，年均出站博士后3人，培养博士45人，硕士190人。

实验室拥有较高水平的公共科研平台，积极开展学术交流，与国内外多所大学、研究机构建立了长期合作关系，每年都主办或承办国际国内学术会议，年均35人次来室讲学、交流及合作研究，年均10人次公派出国合作交流、学术访问和攻读学位，扩大了实验室的学术影响。

实验室得到了“211工程”、“985工程”、基建和其它经费的支持，合计投入2000多万元，改善了实验室环境。实验室现拥有集中用房3500多平方米实验和办公用房，同时共享计算机学院和数学学院图书资料、网络环境等。实验室拥有总价值3000多万元的仪器设备，建立和完善了各项管理制度和运行机制，管理规范，运行良好。