计算机软件与理论国家重点学科简介



  相关链接
 
南京大学 北京大学 北京航空航天大学
上海交通大学

学科基本概况

吉林大学是国内最早开展计算机科学研究的院校之一。1958年,中科院院士王湘浩先生建立了控制论研究室,取得了具有国际领先水平的计算机理论研究成果。1976年5月建立了计算机科学系。1977年,率先在国内开拓了“人工智能”研究。1981年首批获计算机软件博士学位授予权;1985年首批建立了计算机软件博士后科研流动站;1987年计算机软件被批准为国家重点学科专业;1993年建立了国家教委符号计算与知识工程开放实验室;1997年被批准建设符号、数值计算与知识工程“九五”211重点学科; 2000年获计算机科学与技术一级学科博士学位授予权;2002年被批准建设计算与软件科学及信息处理“十五”211重点学科;2002年计算机软件与理论学科再次被批准为国家重点学科;2004年被批准建设计算与软件科学“985”二期科技创新平台。

主要研究方向

软件理论和软件设计方法
学术带头人
:董韫美 院士

主要研究软件理论、技术、工具和汉字信息处理以及软件规约与软件设计方法,包括形式规约的获得与复用,基于复用的文法推断方法和新的递归函数理论。在中国科学院获得中国科学院科技进步一等奖和国家科技进步二等奖。

智能信息处理

学术带头人: 孙吉贵教授 学术团队:现有刘叙华教授、欧阳丹彤教授等教师14人,其中2人入选教育部“新世纪优秀人才支持计划”

主要研究智能规划与自动推理、基于模型的诊断、约束程序、智能决策支持系统等研究领域的科学研究与软件开发工作。承担国家和省部级科研
项目30多项,发表学术论文200多篇,出版著作8部。获国家教委优秀科技成果奖1项;获国家教委科技进步二等奖2项;获吉林省优秀图书二等奖1项;获吉林省优秀教学成果二等奖3项、三等奖1项;获全军科技进步三等奖1项。

知识科学与知识工程

学术带头人:刘大有教授 学术团队:现有欧阳继红教授等教师17人

主要研究知识工程与专家系统,多Agent系统、移动Agent系统、智能Agent和时空信息表示和推理,粗糙集格机的数据挖掘。承担了近40个国家和省部级项目,其中国家863高技术项目和国家基金项目20项。发表论文200余篇,被三大检索收录110余篇。出版专著2部,教材4部。获国家科技进步三等奖1项,省部级科技进步一等奖2项、二等奖3项、三等奖2项,长春市科技进步一等奖1项。

计算智能

学术带头人:周春光教授 学术团队:现有于哲周教授等教师14人

主要研究计算智能所涉足的神经网络、模糊系统和进化计算相关理论、模型和算法,以及计算智能方法在机器味觉和嗅觉、图象处理、商务智能、现代物流、生物信息学和生物识别技术等领域的应用。近五年来承担国家自然科学基金重点项目1项、国家自然科学基金面上项目2项、“十五”攻关项目1项、“863”项目1项、省部级项目7项和多项横向科研项目,获得省部级科技进步二等奖2项、三等奖3项:发表学术论文100多篇;其中被SCI收录20多篇,SCI引用26次,被EI收录40多篇,被国内核心刊物引用116次;出版学术著作1部,获得国家发明专利1项,获得软件版权4项。

智能工程

学术带头人:梁艳春教授 学术团队:现有教师8人

主要研究人工神经网络、模糊系统和进化计算相关理论、模型、算法,DNA计算,量子计算,人工免疫算法,群体优化算法,机器学习算法,基于计算智能的生物信息学中的相关理论与算法,蛋白质结构预测方法,基因表达数据分析,药物成份分析,以及计算智能方法在组合优化、超声电机控制、微机电系统建模、金融时间序列预测、模式识别等领域的应用。承担国家自然科学基金项目4项、省部级项目6项,获省部级科技进步奖5项。发表学术论文190余篇,其中被SCI收录50余篇,EI收录70余篇。

软件形式化

学术带头人:刘磊教授 学术团队:现有张长海教授等教师8人
主要研究程序理论、软件形式化方法、程序设计语言与实现技术、程序分析与软件自动化等。承担并完成了国家自然科学基金项目4项、教育部博士点基金1项、省部级项目2项、协作项目5项、省级校级教改项目5项、发表学术论文90余篇、出版学术著作13部。

数据库与web智能

学术带头人:左万利教授 学术团队:现有赫枫龄教授、赵东范教授等教师6人

主要研究数据库理论、机器学习、数据挖掘与Web挖掘、网络搜索引擎。承担国家自然科学基金项目2项,吉林省科技发展计划项目1项。发表论文40余篇,其中被三大检索结构检索论文9篇,出版教材和学术专著4部。获得国家级和部委级奖励5项。

数据库与智能网络

学术带头人:李雄飞教授 学术团队:现有王德民教授等教师7人

主要研究面向高维、海量数据的智能处理理论,数据挖掘基础理论与应用,Internet组播路由技术,并行程序设计,并行工程与工程数据库系统,计算机支持协同工作与设计。目前的研究重点在于嵌入式数据库理论与技术,数据挖掘与信息融合技术,面向网络计算的大规模仿真和海量数据处理技术。承担国家攻关项目2项,国家“863”计划项目1项,国家自然科学基金项目5项,省部级及其它科研项目几十项。获国家科技进步二等奖1项,机械工业部科技进步一等奖1项,及多项省部级其它奖项,发表论文150余篇。

网格计算与网络安全

学术带头人:胡亮教授 学术团队:现有徐高潮教授、魏晓辉教授、赵永哲教授等教师14人

主要研究机群操作系统及在分布并行计算和服务器群方面的应用;网格计算;网络安全;因特网技术及在IP电话、VPN、电子商务/政务等方面的应用。承担和完成国家科技攻关项目5项,“863”项目3项,国家自然科学基金项目8项,省部级科研项目7项及若干工业界委托项目。出版专著9部,在国内外知名刊物上发表论文100多篇。获省部级科技进步奖8项。

软件工程

学术带头人:张家晨教授 学术团队:现有教师11人

主要研究组件技术和软件复用技术、基于软件体系结构的软件开发方法、软件维护和软件设计改进方法、软件演化方法和软件自动化技术、软件重构方法和技术、软件测试、面向方面的编程技术、基于移动代理的软件开发方法、软件工程环境和软件开发辅助工具等。完成国家重点攻关项目和国家自然科学基金项目4项,在国内核心刊物或国际会议上发表论文50余篇。

十五建设成效

科学研究:承担国家级、省部级和横向科研项目106项,其中包括国家“973”子项目,“863”重大、重点项目,国家基金委重大、重点、面上和青年项目,科技部项目等,项目经费近5400万元。取得了以智能化农业信息系统集成开发平台及其应用研究、商务智能与现代物流新技术、基于计算智能的微机电系统建模与控制、推理方法研究、网格计算和网络安全技术研究等为代表的一批标志性成果。在国外刊物、国内核心期刊、国内权威期刊和国际会议上发表论文900余篇,其中被SCI收录105篇,EI收录179篇;出版专著9部。获省部级科技进步一等奖1项、二等奖3项、三等奖6项;获得国家专利和软件著作权30余项。

队伍建设:学科有双聘中科院院士1人、国务院学位委员会学科评议组成员 1 人、教育部新世纪优秀人才2人、享受国务院政府津贴 6 人、吉林省高级专家 2 人、吉林省有突出贡献中青年专家 6 人、吉林省杰出青年基金获得者2人。聘任外籍学者为吉林大学名誉教授、客座教授、兼职教授共计10人。 获国家教学成果二等奖1项,吉林省教学成果一等奖1项、二等奖2项;获国家精品课程2门,教育部-微软精品课1门,省级精品课程3门;获“宝钢教育基金优秀教师奖”1项;获“IBM优秀教师奖”称号1人。

人才培养:本学科现有在站博士后9人,博士研究生51人,硕士研究生230人。多年来始终以培养高质量、高层次,适应社会需求的计算机专门人才为宗旨,形成了计算机学科和数学学科相融合、与其他学科相交叉的科学研究和人才培养的鲜明特色,为国家培养了大批理论基础坚实、学风严谨、独立从事科学研究和解决实际问题能力强的优秀人才。“十五”期间,出站博士后7人,获得博士学位30余人,获得硕士学位300余人。据不完全统计,在国外大学担任教授的有 20 多人,其中 2 人为美国计算机高级科学家,1 人荣获美国总统特别奖,1 人被授予美国杰出青年科学家称号,在国内大学担任教授的有 40 多人,国内外著名公司担任重要职位的有 20 多人。

学术交流:邀请来自10余个国家和地区的专家、学者共50余人次来校讲学(讲课)、进行学术交流及合作研究。先后与国际著名大学、科研机构和企业建立了合作人才培训计划和技术交流关系。有30余人次出国参加国际学术会议。获得国家外专局引智重点项目、中德国际合作项目、教育部国际合作重点项目和普通项目、省科技厅国际合作项目和省外专局项目等共计10项。聘请名誉教授2人,客座教授6人。2004-2005年连续二次承担了国家自然科学基金委员会资助的龙星计划项目,来自国内20余所大学和研究机构的300多名学者、研究生参加了系列学术讲座。2003年承办全国知识科学高级研讨会。2005年7月主办长春国际生物信息学研讨会,有国内外代表200余人出席会议。


学科建设目标

力争将计算机软件与理论学科建设成为居国内领先行列的一流学科,在理论研究、技术发展、高水平人才培养等方面得到快速发展。学科的主要研究方向达到国际先进水平;在高层次人才培养方面,达到发达国家相同研究方向博士生的培养水平;建设一支实力雄厚、结构合理、高水平的教师队伍,争取学科位次在国内有所提前。