出自计算机科学国家重点实验室

　　实验室以国内外计算机科学技术领域提出的基本问题为背景，面向国家发展软件产业和国家安全的战略需求，开展计算机科学理论和软件基础研究。

并发和实时系统的理论与应用

　　研究以并发性、实时性和移动性为主要特征的计算现象，建立和发展描述并发系统和实时系统的行为与性质的模型、理论和逻辑；研究建立在这些模型、理论和逻辑上的技术和方法，探讨这些技术和方法在软件开发、网络系统、生命科学等领域的应用。

软件技术原理

　　研究软件开发与分析中的形式化理论、方法及质量保证技术。探索形式描述的新框架和获取方法，研究并发和串行程序的测试与验证算法，并研制相应的辅助工具；探讨互联网环境下的软件中间件理论、核心技术与开发方法，以及软件过程与质量保障的方法与技术。

计算机图形学和人机交互理论与技术

　　研究高度复杂场景的真实感成像、大规模场景的实时成像、可视化的信息表达、真实于物理化学等客观规律的仿真运动和变化等的图形建模与绘制方法及技术；研究自然和谐人机交互理论以及笔式交互系统的模型与技术。

并行算法与并行软件

　　研究高性能计算机上的并行算法和大型并行软件优化实现技术、大规模高效精细并行数值模拟、大型数值模拟并行计算可视化、非数值并行计算、高性能新算法以及高性能计算机的评测。