计算机软件与理论
计算机理论方向主要对算法设计与分析、算法复杂性理论、组合、图论、数理逻辑与可计算性理论及人工智能等领域中的问题进行研究，研究各种分布式系统的模型、神经网络计算模型、基于自动机理论的大规模并行计算模型与算法、基于网络分布式计算与并行计算及软件、分布并行语言的形式语法与语义、数值和非数值计算。计算机软件方向对数据库技术、网络与Web技术、多媒体技术、知识工程、决策支持系统等领域的问题进行研究，研究大型软件工程化方法的基本理论、技术；自动程序设计、软件设计理论、程序正确性理论、面向对象软件开发方法及相关技术；研究支撑软件开发全过程的各类智能工具及相应环境、智能计算机辅助软件工程及其基础理论方法和技术。培养上述两组方向具有系统扎实的专业知识和研究开发能力的硕士生，促进计算机理论与软件的发展，并为计算机科学的应用提供理论基础，具有独立从事科学研究、教学工作或担任专门技术工作的能力。