海天考研网

　　计算机软件与理论（ 077402 授理学学位 ）

　　多核处理器（ MP ）和通用图形处理器（ GPGPU ）的发展极大的改变了传统的软件开发方法，软件需要适应新的计算机的体系结构，发挥功能强大的并行的处理器和图形处理器的潜力。本方向研究通用图形处理器在通用计算中的软件开发平台和专用语言以及算法和软件。

　　计算机科学中的形式化方法是利用逻辑和代数的理论和方法表达、设计和验证计算机软件和硬件。本领域在硬件设计形式化验证领域具有很好的基础。本领域研究利用模型检验和定理证明的理论和方法验证软件和硬件的正确性。嵌入式系统是软件和硬件高度交互的系统，利用模型检验进行系统中的软件和硬件模块的逻辑和时序关系的测试和验证也是本领域的研究热点。本方向以省部级重点实验室“软件工程实验室”和“软件工程研究所”为依托，先后承担了多项国家自然科学基金项目和省部级软件测试和验证的科研项目。