申请指南
计算机科学国家重点实验室开放课题主要支持下列方向的研究。对于不直接属于这些范围，但具有重要科学意义的、有创意的项目，也将考虑择优支持。
- 并发和实时系统的理论与应用
- 并发与实时系统的形式理论和分析方法
- 模型检测的理论、技术与应用
- 新型计算模型
- 软件技术原理
- 形式描述与检验方法
- Web数据挖掘及语义Web
- 软件测试与验证
- 互联网环境下的中间件与软件开发理论与方法
- 软件过程与质量保障的理论与方法
- 计算机图形学及人机交互理论与技术
- 高效的图形绘制技术与基于物理的实时动画仿真
- 超大规模数据的优化处理技术及高效可视化
- 基于现代图形硬件的通用计算
- 多通道人机交互理论与方法
- 分布式用户界面和交互技术
- 并行算法与并行软件
- 万亿次规模的数值并行计算方法
- 万亿次并行计算性能评价、分析与优化关键技术
- 万亿次大型数值模拟的并行可视化