软件形式化
主要研究内容:软件形式化方法、语义网、程序分析技术、各种程序设计语言与实现技术、移动代码安全、并发语义、软件检查等。
主要成果:承担并完成了国家自然科学基金项目4项、教育部博士点基金1项、省部级项目2项、协作项目3项、省级校级教改项目3项、发表学术论文70余篇、编著学术著作13部。承担研究生课程《形式语义学》、《程序分析》,本科生课程《编译原理》和《高级语言程序设计》。《编译原理》课程被评为吉林大学精品课、吉林省精品课程和教育部-微软精品课程,获得三项省级奖励。
软件工程
主要研究内容:组件技术和软件复用技术、基于软件体系结构的软件开发方法、软件维护和软件设计改进方法、软件演化方法和软件自动化技术、软件重构方法和技术、软件测试、面向方面的编程技术、基于移动代理的软件开发方法、软件工程环境和软件开发辅助工具等。
主要成果:近年来,研究组成员完成国家重点攻关项目和国家自然科学基金项目4项,在国内核心刊物或国际会议上发表论文50余篇。
数据库与web智能
主要研究内容:数据库理论、机器学习、数据挖掘与Web挖掘、网络搜索引擎。
主要成果:完成国家自然科学基金项目“基于Petri网的主动型面向对象数据库管理系统(1997-1999)”、吉林省科技发展计划项目“第二代网络搜索引擎的研制(2000-2003)”。目前正承担国家自然科学基金项目“具有增量性质的移动式主题爬行系统(2004-2006)”。在国际会议和《软件学报》等核心刊物上发表论文40余篇,其中被三大检索结构检索论文9篇,出版教材和学术专著4部。获得国家级和部委级奖励5项。