研究方向及主要研究领域
1.软件工程理论与方法
研究软件可信性建模与评估技术、应用软件设计模型检验和推理验证技术、面向构件软件的可靠性分析、仿真及建模理论,软件体系结构及软件可靠性技术等
2.现代数据库理论与技术
开展面向对象数据库、移动数据库、虚拟数据库、空间数据库及中间件技术等领域的海量数据仓储、数据挖掘、搜索引挚、数据库与知识库、语义WEB等技术与应用等
3.多媒体软件支撑与安全技术
研究大规模复杂对象三维建模和绘制、多媒体信息检索软件理论及多媒体图像融合技术等,开展图像识别、检索、动画多媒体、成像技术、自然语言处理、虚拟仿真、信息隐藏与加密等